( en | de | ru )

 

Disambiguation of "Affeldt, Reynald"

Author of the publication

copydeleteadd this publication to your clipboard
An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing.

, and . J. Formaliz. Reason., 7 (1): 63-104 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hans Affeldt

Manfred Affeldt

Reynald Lercier

Stefanie Affeldt

Dietmar Affeldt

 

Other publications of authors with the same name

Formal Proof of Provable Security by Game-Playing in a Proof Assistant., , and . ProvSec, volume 4784 of Lecture Notes in Computer Science, page 151-168. Springer, (2007)Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables., and . Formal to Practical Security, volume 5458 of Lecture Notes in Computer Science, page 1-20. Springer, (2009)Les espaces d'interaction Vers une géométrie des systèmes d'agents mobiles., , and . L'OBJET, 10 (2-3): 31-45 (2004)Towards a Practical Library for Monadic Equational Reasoning in Coq., and . MPC, volume 13544 of Lecture Notes in Computer Science, page 151-177. Springer, (2022)Semantics of Probabilistic Programs using s-Finite Kernels in Coq., , and . CPP, page 3-16. ACM, (2023)Supporting objects in run-time bytecode specialization., , , and . ASIA-PEPM, page 50-60. ACM, (2002)Formal Verification of the rank Algorithm for Succinct Data Structures., , and . ICFEM, volume 10009 of Lecture Notes in Computer Science, page 243-260. (2016)On construction of a library of formally verified low-level arithmetic functions.. SAC, page 1326-1331. ACM, (2012)An Approach to Formal Verification of Arithmetic Functions in Assembly., and . ASIAN, volume 4435 of Lecture Notes in Computer Science, page 346-360. Springer, (2006)A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism., , , and . CoRR, (2020)