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.

A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity

Matthieu Baty, Pierre Wilke, Guillaume Hiet, Arnaud Fontaine, Alix Trieu. A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity. In 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023. pages 372-387, IEEE, 2023. [doi]

Authors

Matthieu Baty

This author has not been identified. Look up 'Matthieu Baty' in Google

Pierre Wilke

This author has not been identified. Look up 'Pierre Wilke' in Google

Guillaume Hiet

This author has not been identified. Look up 'Guillaume Hiet' in Google

Arnaud Fontaine

This author has not been identified. Look up 'Arnaud Fontaine' in Google

Alix Trieu

This author has not been identified. Look up 'Alix Trieu' in Google
runs on