Author of the publication

AttkFinder: Discovering Attack Vectors in PLC Programs using Information Flow Analysis.

, , , , and . RAID, page 235-250. ACM, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Indistinguishable regions in geographic privacy., , and . SAC, page 1463-1469. ACM, (2012)BetterTimes - Privacy-Assured Outsourced Multiplications for Additively Homomorphic Encryption on Finite Fields., , and . ProvSec, volume 9451 of Lecture Notes in Computer Science, page 291-309. Springer, (2015)Centy: Scalable Server-Side Web Integrity Verification System Based on Fuzzy Hashes., , , , , and . DIMVA, volume 12756 of Lecture Notes in Computer Science, page 371-390. Springer, (2021)SIPHON: Towards Scalable High-Interaction Physical Honeypots., , , , , , and . CPSS@AsiaCCS, page 57-68. ACM, (2017)CIMA: Compiler-Enforced Resilience Against Memory Safety Attacks in Cyber-Physical Systems., , , , and . Comput. Secur., (2020)Is Modeling Access Control Worth It?, , , , and . CCS, page 2830-2844. ACM, (2023)Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs., , , and . ESSoS, volume 8978 of Lecture Notes in Computer Science, page 34-42. Springer, (2015)InnerCircle: A parallelizable decentralized privacy-preserving location proximity protocol., , and . PST, page 1-6. IEEE Computer Society, (2015)SealClub: Computer-aided Paper Document Authentication., , , and . ACSAC, page 163-177. ACM, (2023)Short Paper: The Meaning of Attack-Resistant Systems., , and . PLAS@ECOOP, page 49-55. ACM, (2015)