WooKey-Reference-Cited by-同舟云学术

WooKey

Published:2019-12-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 35th Annual Computer Security Applications Conference
language:
Short-container-title:

Author:

Benadjila Ryad¹,Michelizza Arnauld¹,Renard Mathieu¹,Thierry Philippe¹,Trebuchet Philippe¹

Affiliation:

1. ANSSI, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3359789.3359802

Reference82 articles.

1. Modchips of the State (35C3). https://fahrplan.events.ccc.de/congress/2018/Fahrplan/events/9597.html. Modchips of the State (35C3). https://fahrplan.events.ccc.de/congress/2018/Fahrplan/events/9597.html.

2. The Rust Language. https://www.rust-lang.org/. The Rust Language. https://www.rust-lang.org/.

3. The WooKey project. https://wookey-project.github.io/ 2019. The WooKey project. https://wookey-project.github.io/ 2019.

4. Adacore. GnatProve formal verification tool. https://docs.adacore.com/spark2014-docs/html/ug/en/source/how_to_run_gnatprove.html. Adacore. GnatProve formal verification tool. https://docs.adacore.com/spark2014-docs/html/ug/en/source/how_to_run_gnatprove.html.

5. Altran AdaCore. SPARK programming language. https://www.spark-2014.org/. Altran AdaCore. SPARK programming language. https://www.spark-2014.org/.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Adversarial Reachability for Program-level Security Analysis;Programming Languages and Systems;2023

2. From MMU to MPU: Adaptation of the Pip Kernel to Constrained Devices;Artificial Intelligence, Soft Computing and Applications;2022-12-22

3. Time-Print: Authenticating USB Flash Drives with Novel Timing Fingerprints;2022 IEEE Symposium on Security and Privacy (SP);2022-05

4. Time-Print: Authenticating USB Flash Drives with Novel Timing Fingerprints;P IEEE S SECUR PRIV;2022

5. Duck Hunt: Memory forensics of USB attack platforms;Forensic Science International: Digital Investigation;2021-07