Author of the publication

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

Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis., , , and . FORTE, volume 2767 of Lecture Notes in Computer Science, page 224-239. Springer, (2003)Using SPIN to Verify Security Properties of Cryptographic Protocols., and . SPIN, volume 2318 of Lecture Notes in Computer Science, page 187-204. Springer, (2002)Exploiting Symmetries for Testing Equivalence in the Spi Calculus., , , and . ATVA, volume 3299 of Lecture Notes in Computer Science, page 135-149. Springer, (2004)Detecting Injection Attacks on Cooperative Adaptive Cruise Control., , , , and . VNC, page 1-8. IEEE, (2019)A method to build symbolic representations of LOTOS specifications.. PSTV, volume 38 of IFIP Conference Proceedings, page 331-346. Chapman & Hall, (1995)Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions., and . IEEE Trans. Computers, 44 (12): 1361-1370 (1995)Wireless for the factory: The Wi-Fact analysis., , , , , , , , and . RTSI, page 403-410. IEEE, (2015)Formal Verification of the FDO Protocol., , and . CSCN, page 290-295. IEEE, (2023)Using Data Flow Analysis to Infer Type Information in Java Bytecode., and . SCAM, page 213-. IEEE Computer Society, (2001)Static Analysis of Java Multithreaded and Distributed Applications., and . PDSE, page 215-222. IEEE Computer Society, (1998)