[Pl-seminar] Mon. 1/25 Seminar: Marco Patrignani, Secure Compilation to Protected Module Architectures

[William J. Bowman]

NUPRL Seminar presents

Marco Patrignani
MPI-SWS

11:00--12:30
Monday January 25, 2016
Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)
Host: Amal Ahmed

Secure Compilation to Protected Module Architectures

Abstract:

This talk will informally describe protected module architectures (PMA), a security architecture that provides an assembly-level memory isolation mechanism. 	Then it will describe how to devise a secure (fully-abstract) compiler for an object-oriented language to PMA.  Finally, it will present how to prove the said compiler to be secure and discuss open, related research trajectories.


Bio:

Marco Patrignani did his bachelor and masters study in Bologna, then he obtained a Ph.D. in computer science from the KU Leuven, Belgium. There, with his advisors Dave Clarke and Frank Piessens, he studied secure (fully-abstract) compilation for Intel-SGX like architectures, i.e., untyped assembly languages extended with a memory isolation mechanism. Additionally, he investigated trace-based characterisation of the behaviour of those architectures. He is now a post-doc at MPI-SWS, Germany working on more secure-compilation-related topics with Deepak Garg.

-- 
William J. Bowman
Northeastern University
College of Computer and Information Science
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 819 bytes
Desc: not available
URL: <http://lists.ccs.neu.edu/pipermail/pl-seminar/attachments/20160122/90ff7ba5/attachment.pgp>