publicaciones seleccionadas
-
documento
- HATI: Hardware assisted thread isolation for concurrent C/C programs 2014
- Leveraging speculative architectures for runtime program validation 2013
- Micro-Architectural support for metadata coherence in multi-core dynamic information flow tracking 2013
- Designing and implementing a malicious 8051 processor 2012
- Security in embedded systems 2012
- Static secure page allocation for light-weight dynamic information flow tracking 2012
- PIFT: Efficient dynamic information flow tracking using secure page allocation 2009