Author of the publication

Security challenges in automotive hardware/software architecture design.

, , , , , , , , , and . DATE, page 458-463. EDA Consortium San Jose, CA, USA / ACM DL, (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

Enforcing Unique Code Target Property for Control-Flow Integrity., , , , , , and . ACM Conference on Computer and Communications Security, page 1470-1486. ACM, (2018)Spreadsheet data manipulation using examples., , and . Commun. ACM, 55 (8): 97-105 (2012)Alternation for Termination., , , and . SAS, volume 6337 of Lecture Notes in Computer Science, page 304-319. Springer, (2010)Declarative, Temporal, and Practical Programming with Capabilities., , , , and . IEEE Symposium on Security and Privacy, page 18-32. IEEE Computer Society, (2013)Complexity verification using guided theorem enumeration., , and . POPL, page 639-652. ACM, (2017)Program analysis via satisfiability modulo path programs., , , and . POPL, page 71-82. ACM, (2010)Secure programs via game-based synthesis., , and . FMCAD, page 12-13. IEEE, (2013)Security challenges in automotive hardware/software architecture design., , , , , , , , , and . DATE, page 458-463. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Mainframe response time measurement with a microcomputer.. SIGUCCS, page 157-164. ACM, (1983)DIFC programs by automatic instrumentation., , and . ACM Conference on Computer and Communications Security, page 284-296. ACM, (2010)