Dr Stéphane Graham-Lengrand, Senior Lab Director at SRI International Computer Science Laboratory, SRI International, 333, Ravenswood Avenue Menlo Park, ...
Senior Lab Director at SRI International · Experience: SRI · Education: University of St. Andrews · Location: San Francisco Bay Area · 482 connections on ...
SRI International - Cited by 1076 - Logic - Automated Reasoning - Type systems - Interactive Theorem Proving - Functional Programming
Aug 23, 2024 · List of computer science publications by Stéphane Lengrand.
Dr Stéphane Graham-Lengrand. Senior Lab Director at SRI International · Computer Science Laboratory. Journal papers. [BGLS21], M. P. Bonacina, S. Graham- ...
Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge · Author ...
The URL you reached is the URL of my old homepage. My new homepage is at http://www.csl.sri.com/users/sgl/
Stephane Jean Eric Graham-Lengrand, MathSciNet, Philosophy Doctorate, University of St. Andrews and Université Paris Diderot - Paris 7, 2006, UnitedKingdom, ...
15 followers · 1 following Achievements Achievement: Quickdraw Achievement: Arctic Code Vault Contributor Achievement: Pull Shark x2