Differences

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

Link to this comparison view

people:jvanegue [2018/04/27 21:19]
jvanegue [Notes from conferences]
people:jvanegue [2024/03/03 23:38] (current)
jvanegue [Talks, Presentations and Opinions]
Line 9: Line 9:
 I intend to keep track of my public work on this page, which I failed to do for years due to my general indolence unhelped by a mild twitter addiction ([[http://​twitter.com/​jvanegue|@jvanegue]]). I intend to keep track of my public work on this page, which I failed to do for years due to my general indolence unhelped by a mild twitter addiction ([[http://​twitter.com/​jvanegue|@jvanegue]]).
  
-===== Talks and Presentations =====+===== TalksPresentations ​and Opinions ​===== 
 + 
 +{{jvanegue/​files/​ohearnfest_vanegue.pdf|Bi-Abductive Adversarial Program Synthesis}} \\ 
 +//Invited talk at POPL 2024 O'​Hearn'​s fest in honor of Peter O'​Hearn'​s 60th birthday// \\ 
 + 
 +{{jvanegue/​files/​soundness_of_attacks.pdf|In Memory Safety, The Soundness Of Attacks Is What Matters}} \\ 
 +Position Statement \\ 
 + 
 +{{jvanegue/​files/​aegc_retro_2018_jvanegue.pdf|The Automated Exploit Grand Challenge : A Five-Year retrospective}} \\ 
 +//Invited talk, IEEE Symposium on Security and Privacy LangSec Workshop 2018// ​
  
 {{jvanegue/​files/​spw15_heap_models_vanegue_latest.pdf|Heap Models For Exploit Systems}} \\ {{jvanegue/​files/​spw15_heap_models_vanegue_latest.pdf|Heap Models For Exploit Systems}} \\
-//Invited ​talk, IEEE Symposium on Security and Privacy LangSec Workshop 2015// ​+//Work-in-progress ​talk, IEEE Symposium on Security and Privacy LangSec Workshop 2015// ​
  
 {{jvanegue/​files/​csaw2013_panel.pdf|Are Reverse Engineering and Exploit Writing an Art or a Science?}} \\ {{jvanegue/​files/​csaw2013_panel.pdf|Are Reverse Engineering and Exploit Writing an Art or a Science?}} \\
Line 27: Line 36:
 ===== Selected papers ===== ===== Selected papers =====
  
-These are some of my recently ​published articles:+These are some of my published articles: 
 + 
 +{{jvanegue/​files/​casl_concur.pdf|A General Approach to Under-Approximate Reasoning About Concurrent Programs}} \\ 
 +//by Azalea Raad, Julien Vanegue, Josh Berdine and Peter O'​Hearn//​ \\ 
 +//Published at the International Conference on Concurrency Theory 2023 (CONCUR'​23,​ Antwerp, BE) // \\ 
 +//Extended version (with soundness proof)// {{jvanegue/​files/​casl_extended.pdf|here}}  
 + 
 +{{jvanegue/​files/​adversarial_logic.pdf|Adversarial Logic}} \\ 
 +//Published at the International Static Analysis Symposium 2022 (SAS'​22,​ Auckland, NZ) // 
  
 {{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}} \\
Line 61: Line 78:
 //The First International KLEE workshop on Symbolic Execution (Imperial College, London, UK, April 2018)// \\ //The First International KLEE workshop on Symbolic Execution (Imperial College, London, UK, April 2018)// \\
  
 +{{jvanegue/​files/​qccs23_yale.pdf|Report on the Quantum Computer Cybersecurity Symposium}} \\
 +//by Julien Vanegue and Julio Auto// \\
 +//The First Quantum Computer Cybersecurity Symposium (Yale University, New Haven, USA, November 2023)// \\
 ===== Older papers ===== ===== Older papers =====
  
people/jvanegue.txt · Last modified: 2024/03/03 23:38 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