John Renner PhD Student @ UCSD

MOST RECENT POST

CT-Wasm Conference Presentation

10 February 2019

PUBLICATIONS

Towards a Verified Range Analysis for Javascript JITs

Fraser Brown, John Renner, Andres Noetzli, Sorin Lerner, Hovav Schacham, Deian Stefan
PLDI '20
@inproceedings{brown:2020:vera,
  author    = {Fraser Brown and John Renner and Andres Noetzli and Sorin Lerner and Hovav Schacham and Deian Stefan},
  title     = {Towards a Verified Range Analysis for Javascript JITs},
  booktitle = {Programming Language Design and Implementation (PLDI)},
  month     = {June},
  year      = {2020},
  publisher = {ACM SIGPLAN}
}

CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem

Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan
POPL '19
@inproceedings{watt:2019:ct-wasm,
  author    = {Conrad Watt and John Renner and Natalie Popescu and Sunjay Cauligi and Deian Stefan},
  title     = {{CT-Wasm}: Type-Driven Secure Cryptography for the Web Ecosystem},
  booktitle = {ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)},
  month     = {January},
  year      = {2019},
  publisher = {ACM}
}

Constant-time WebAssembly

John Renner, Sunjay Cauligi, Deian Stefan
PriSC '18
@inproceedings{renner:2018:ct-wasm,
    author    = {John Renner and Sunjay Cauligi and Deian Stefan},
    title     = {Constant-Time {WebAssembly}},
    booktitle = {Principles of Secure Compilation (PriSC)},
    month     = {January},
    year      = {2018},
}