J
Jérémy Planul
Researcher at Stanford University
Publications - 11
Citations - 168
Jérémy Planul is an academic researcher from Stanford University. The author has contributed to research in topics: Cryptography & Service provider. The author has an hindex of 7, co-authored 11 publications receiving 144 citations. Previous affiliations of Jérémy Planul include French Institute for Research in Computer Science and Automation.
Papers
More filters
Proceedings ArticleDOI
Privacy-Preserving Shortest Path Computation
TL;DR: This work presents a cryptographic protocol for navigation on city streets that provides privacy for both the client's location and the service provider's routing data, and uses a novel method for compressing the next-hop routing matrices in networks such as city street maps.
Proceedings ArticleDOI
Information-flow types for homomorphic encryptions
TL;DR: A flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features, which enables encryption, blinding, homomorphic computation, and decryption, with selective key re-use for different types of payloads.
Proceedings ArticleDOI
Privacy-Preserving Shortest Path Computation
TL;DR: In this paper, the authors present a cryptographic protocol for navigation on city streets that provides privacy for both the client's location and the service provider's routing data, and demonstrate the practicality of their protocol by benchmarking it on real street map data.
Book ChapterDOI
On layout randomization for arrays and functions
Martín Abadi,Jérémy Planul +1 more
TL;DR: This paper relates layout randomization to language-level protection mechanisms, namely to the use of abstract locations (rather than integer addresses), when each abstract location can hold an entire array which, concretely, compilation implements with a memory buffer at a random base address.
Book ChapterDOI
Secure Enforcement for Global Process Specifications
TL;DR: This work proposes a generic defensive implementation scheme, relying on history-tracking mechanisms, and identifies sufficient conditions on processes, expressed as a new type system, that ensure that the implementation is secure for all integrity properties.