Author of the publication

Determining an Economic Value of High Assurance for Commodity Software Security.

, , and . Security Protocols Workshop, volume 14186 of Lecture Notes in Computer Science, page 228-242. Springer, (2023)

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

Efficient security primitives derived from a secure aggregation algorithm., and . ACM Conference on Computer and Communications Security, page 521-534. ACM, (2008)OASIS: on achieving a sanctuary for integrity and secrecy on untrusted platforms., , , , , and . ACM Conference on Computer and Communications Security, page 13-24. ACM, (2013)STRIDE: sanctuary trail - refuge from internet DDoS entrapment., , , , , , and . AsiaCCS, page 415-426. ACM, (2013)Towards Sustainable Evolution for the TLS Public-Key Infrastructure., , , and . AsiaCCS, page 637-649. ACM, (2018)Website Fingerprinting in the Age of QUIC., , and . Proc. Priv. Enhancing Technol., 2021 (2): 48-69 (2021)DFL: Secure and Practical Fault Localization for Datacenter Networks., , , , , , and . IEEE/ACM Trans. Netw., 22 (4): 1218-1231 (2014)Message-in-a-bottle: user-friendly and secure key deployment for sensor nodes., , , and . SenSys, page 233-246. ACM, (2007)Efficient and secure threshold-based event validation for VANETs., , , , and . WISEC, page 163-174. ACM, (2011)Mobile user location-specific encryption (MULE): using your office as your password., and . WISEC, page 151-162. ACM, (2010)AGVI - Automatic Generation, Verification, and Implementation of Security Protocols., , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 241-245. Springer, (2001)