External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

MACKE: compositional analysis of low-level vulnerabilities with symbolic execution

Saahil Ognawala, Martín Ochoa, Alexander Pretschner, Tobias Limmer. MACKE: compositional analysis of low-level vulnerabilities with symbolic execution. In David Lo, Sven Apel, Sarfraz Khurshid, editors, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. pages 780-785, ACM, 2016. [doi]

Authors

Saahil Ognawala

This author has not been identified. Look up 'Saahil Ognawala' in Google

Martín Ochoa

This author has not been identified. Look up 'Martín Ochoa' in Google

Alexander Pretschner

This author has not been identified. Look up 'Alexander Pretschner' in Google

Tobias Limmer

This author has not been identified. Look up 'Tobias Limmer' in Google
runs on