Author of the publication

Turret: A Platform for Automated Attack Finding in Unmodified Distributed System Implementations.

, , , , and . ICDCS, page 660-669. IEEE Computer Society, (2014)

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

A survey of attack and defense techniques for reputation systems., , and . ACM Comput. Surv., 42 (1): 1:1-1:31 (2009)Entropy attacks and countermeasures in wireless network coding., , and . WISEC, page 185-196. ACM, (2012)Automated Attacker Synthesis for Distributed Protocols., , , and . SAFECOMP, volume 12234 of Lecture Notes in Computer Science, page 133-149. Springer, (2020)Alternative Route-Based Attacks in Metropolitan Traffic Systems., , , , and . DSN Workshops, page 20-27. IEEE, (2022)Stateless-Recipient Certified E-Mail System Based on Verifiable Encryption., and . CT-RSA, volume 2271 of Lecture Notes in Computer Science, page 182-199. Springer, (2002)A multi-expertise application-driven class., , and . SIGCSE, page 119-123. ACM, (2007)Leveraging Textual Specifications for Grammar-Based Fuzzing of Network Protocols., , , and . AAAI, page 9478-9483. AAAI Press, (2019)Automated Attack Discovery in TCP Congestion Control Using a Model-guided Approach., , , , and . NDSS, The Internet Society, (2018)Analyzing Operational Behavior of Stateful Protocol Implementations for Detecting Semantic Bugs., , , , and . DSN, page 627-638. IEEE Computer Society, (2017)Increasing network resiliency by optimally assigning diverse variants to routing nodes., , , , and . DSN, page 1-12. IEEE Computer Society, (2013)