Differences

This shows you the differences between two versions of the page.

Link to this comparison view

people:jvanegue [2018/05/25 14:47]
jvanegue [Talks and Presentations]
people:jvanegue [2018/05/25 14:48] (current)
jvanegue [Selected papers]
Line 33: Line 33:
  
 {{jvanegue/​files/​vanegue_langsec14.pdf|The Weird Machines in Proof-Carrying Code}} \\ {{jvanegue/​files/​vanegue_langsec14.pdf|The Weird Machines in Proof-Carrying Code}} \\
-//Invited paper, ​IEEE Symposium on Security and Privacy LangSec Workshop 2014// ​+//Published at the IEEE Symposium on Security and Privacy LangSec Workshop 2014// ​
  
 {{jvanegue/​files/​sp13.pdf|Towards practical reactive security audit using extended static checkers}} \\ {{jvanegue/​files/​sp13.pdf|Towards practical reactive security audit using extended static checkers}} \\
people/jvanegue.txt ยท Last modified: 2018/05/25 14:48 by jvanegue
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate to DokuWiki Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki Powered by OpenVZ Powered by Openwall GNU/*/Linux Bookmark and Share