Collaborated with:
Sunjay Cauligi D.Stefan C.Watt Natalie Popescu Gary Soeller Brian Johannesmeyer Fraser Brown Riad S. Wahby B.Grégoire G.Barthe R.Jhala
Talks about:
cryptographi (1) ecosystem (1) sensit (1) driven (1) comput (1) secur (1) wasm (1) type (1) time (1) web (1)
Person: John Renner
DBLP: Renner:John
Contributed to:
Wrote 2 papers:
- PLDI-2019-CauligiSJBWRGBJ #domain-specific language #named
- FaCT: a DSL for timing-sensitive computation (SC, GS, BJ, FB, RSW, JR, BG, GB, RJ, DS), pp. 174–189.
- POPL-2019-WattRPCS #ecosystem #encryption #named #web
- CT-wasm: type-driven secure cryptography for the web ecosystem (CW, JR, NP, SC, DS), p. 29.