|
|
|
| Latest News |
|
| 11/03/13 |
| Our paper "ShadowReplica: Efficient Parallelization of Dynamic Data Flow Tracking" is to appear in the 20th ACM Conference on Computer and Communications Security (CCS). |
| 11/03/13 |
| Our paper "Parrot: a Practical Runtime for Deterministic, Stable, and Reliable Threads" is to appear in the 24th ACM Symposium on Operating Systems Principles (SOSP). |
| 09/22/13 |
| Our paper "An Accurate Stack Memory Abstraction and Symbolic Analysis Framework for Executables" is to appear in the 29th IEEE International Conference on Software Maintenance (ICSM). |
| 08/27/13 |
| Our paper "Transparent ROP Exploit Mitigation using Indirect Branch
Tracing" is to appear in the 22nd USENIX Security Symposium. |
| 08/12/13 |
| Our paper "MINESTRONE: Testing the SOUP" is to appear in the 6th Workshop on Cyber Security Experimentation and Test (CSET). |
|
