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

Comparing distance bounding protocols: A critical mission supported by decision theory., , and . Comput. Commun., (2015)mCarve: Carving Attributed Dump Sets., , and . USENIX Security Symposium, USENIX Association, (2011)Probabilities In The Torx Test Derivation Algorithm., , and . SAM, page 173-188. VERIMAG, IRISA, SDL Forum, (2000)The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement., , and . GraMSec@FLoC, volume 11086 of Lecture Notes in Computer Science, page 90-110. Springer, (2018)An Algebra for Trust Dilution and Trust Fusion., and . Formal Aspects in Security and Trust, volume 5983 of Lecture Notes in Computer Science, page 4-20. Springer, (2009)Foundations of Attack Trees., and . ICISC, volume 3935 of Lecture Notes in Computer Science, page 186-198. Springer, (2005)Checking Secrecy by Means of Partial Order Reduction., and . SAM, volume 3319 of Lecture Notes in Computer Science, page 171-188. Springer, (2004)Towards a Decision Model Based on Trust and Security Risk Management., , , , and . AISC, volume 98 of CRPIT, page 61-69. Australian Computer Society, (2009)Introduction by the guest editor.. Comput. Lang., 27 (1/3): 1-2 (2001)Robust active attacks on social graphs., , and . CoRR, (2018)