Pierre-Yves Strub
Orcid: 0000-0002-8196-7875
According to our database1,
Pierre-Yves Strub
authored at least 66 papers
between 2001 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.
ACM Trans. Priv. Secur., August, 2023
Proc. ACM Program. Lang., January, 2023
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023
Machine-Checked Security for $\mathrm{XMSS}$ as in RFC 8391 and $\mathrm{SPHINCS}^{+}$.
IACR Cryptol. ePrint Arch., 2023
IACR Cryptol. ePrint Arch., 2023
Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023
2022
IACR Cryptol. ePrint Arch., 2022
Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022
2021
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021
2020
Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations.
J. Cryptogr. Eng., 2020
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020
2019
Log. Methods Comput. Sci., 2019
IACR Cryptol. ePrint Arch., 2019
Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
2018
Proc. ACM Program. Lang., 2018
IACR Cryptol. ePrint Arch., 2018
Improved Parallel Mask Refreshing Algorithms: Generic Solutions with Parametrized Non-Interference & Automated Optimizations.
IACR Cryptol. ePrint Arch., 2018
Proceedings of the Security Standardisation Research - 4th International Conference, 2018
Proceedings of the Programming Languages and Systems, 2018
2017
Commun. ACM, 2017
Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the LPAR-21, 2017
Proceedings of the LPAR-21, 2017
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017
2016
IACR Cryptol. ePrint Arch., 2016
Proceedings of the Web and Internet Economics - 12th International Conference, 2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016
Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials.
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016
2015
Formal Proofs of Transcendence for e and $π$ as an Application of Multivariate and Symmetric Polynomials.
CoRR, 2015
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
2014
IACR Cryptol. ePrint Arch., 2014
Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014
2013
Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
Proceedings of the Foundations of Security Analysis and Design VII, 2013
2012
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
2011
CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory.
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011
Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011
2010
Proceedings of the Computer Science Logic, 24th International Workshop, 2010
2008
PhD thesis, 2008
From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures.
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008
2007
Proceedings of the Computer Science Logic, 21st International Workshop, 2007
2001
Proceedings of the 2001 International Conference on Image Processing, 2001