Ct-wasm: type-driven secure cryptography for the web ecosystem C Watt, J Renner, N Popescu, S Cauligi, D Stefan Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 94 | 2019 |
FaCT: a DSL for timing-sensitive computation S Cauligi, G Soeller, B Johannesmeyer, F Brown, RS Wahby, J Renner, ... Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 86 | 2019 |
Position paper: Progressive memory safety for webassembly C Disselkoen, J Renner, C Watt, T Garfinkel, A Levy, D Stefan Proceedings of the 8th International Workshop on Hardware and Architectural …, 2019 | 44 | 2019 |
Towards a verified range analysis for JavaScript JITs F Brown, J Renner, A Nötzli, S Lerner, H Shacham, D Stefan Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 22 | 2020 |
Constant-time webassembly J Renner, S Cauligi, D Stefan Principles of Secure Compilation, 2018 | 12 | 2018 |
Foundations for Parallel Information Flow Control Runtime Systems. M Vassena, G Soeller, P Amidon, M Chan, J Renner, D Stefan POST, 1-28, 2019 | 10 | 2019 |
Scooter & Sidecar: a domain-specific approach to writing secure database migrations J Renner, A Sanchez-Stern, F Brown, S Lerner, D Stefan Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 2 | 2021 |