Old Web
English
Sign In
Acemap
>
authorDetail
>
PIERRE-YVES STRUB
PIERRE-YVES STRUB
French Institute for Research in Computer Science and Automation
5
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
A drag-and-drop proof tactic.
2022
CPP | Certified Programs and Proofs
Pablo Donato
PIERRE-YVES STRUB
Benjamin Werner
Show All
Source
Cite
Save
Citations (0)
Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt.
2022
IACR Cryptol. ePrint Arch.
Andreas Hülsing
PIERRE-YVES STRUB
Show All
Source
Cite
Save
Citations (0)
A Messy State of the Union: Taming the Composite State Machines of TLS
2015
S&P | IEEE Symposium on Security and Privacy
Benjamin Beurdouche
Karthikeyan Bhargavan
Antoine Delignat Lavaud
Cedric Fournet
Markulf Kohlweiss
Alfredo Pironti
PIERRE-YVES STRUB
Jean Karim Zinzindohoue
Show All
Source
Cite
Save
Citations (0)
Secure distributed programming with value-dependent types
2013
Journal of Functional Programming
Nikhil Swamy
Juan Chen
Cedric Fournet
PIERRE-YVES STRUB
Karthikeyan Bhargavan
Jean Yang
Show All
Source
Cite
Save
Citations (0)
Fully abstract compilation to JavaScript
2013
| ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Cédric Fournet
Nikhil Swamy
Juan Chen
Pierre-Evariste Dagand
PIERRE-YVES STRUB
Benjamin Livshits
Show All
Source
Cite
Save
Citations (0)
1