Author of the publication

The (Un)Reliability of NVD Vulnerable Versions Data: an Empirical Experiment on Google Chrome Vulnerabilities

, and . Proceedings of the 8th ACM SIGSAC symposium on Information, computer and communications security, page 493--498. (May 2013)

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

Diversity: A Poor Man's Solution to Drone Takeover., , and . PECCS, page 25-34. SciTePress, (2017)Requirement Engineering Meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard., , and . ER, volume 2813 of Lecture Notes in Computer Science, page 263-276. Springer, (2003)Privacy Is Linking Permission to Purpose., and . Security Protocols Workshop, volume 3957 of Lecture Notes in Computer Science, page 179-191. Springer, (2004)Formal Verification of Cardholder Registration in SET., , , and . ESORICS, volume 1895 of Lecture Notes in Computer Science, page 159-174. Springer, (2000)Maintaining privacy on derived objects., , , and . WPES, page 10-19. ACM, (2005)A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach., and . FOSAD, volume 6858 of Lecture Notes in Computer Science, page 152-184. Springer, (2011)Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux.. TABLEAUX, volume 1397 of Lecture Notes in Computer Science, page 217-231. Springer, (1998)DES: a Challenge Problem for Nonmonotonic Reasoning Systems, , and . CoRR, (2000)What the heck is this application doing? - A security-by-contract architecture for pervasive services., , , and . Comput. Secur., 28 (7): 566-577 (2009)Verifying security protocols as planning in logic programming., and . ACM Trans. Comput. Log., 2 (4): 542-580 (2001)