Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Reynald Affeldt
Towards Formal Verification of TLS Network Packet Processing Written in C
On Construction of a Library of Formally Verified Low-Level Arithmetic Functions
Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study
IPSJ Digital Courier
Related publications
Deductive Verification of Telecommunication Systems Written in C
Automatic Control and Computer Sciences
Control
Systems Engineering
Signal Processing
Software
Towards Formal Verification of Role-Based Access Control Policies
IEEE Transactions on Dependable and Secure Computing
Electronic Engineering
Electrical
Computer Science
Equational Approach to Formal Analysis of TLS
Formal Verification of kLIBC With the WP Frama-C Plug-In
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification and Verification of Communication in Network-On-Chip: An Overview
International Journal of Recent Contributions from Engineering, Science & IT (iJES)
A Formal Treatment of Accountable Proxying Over TLS
Line-Rate Packet Processing in Hardware: The Evolution Towards 400 Gbit/S
Formal Verification of Pipelined Processors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of NTRUEncrypt Scheme
International Journal of Computer Network and Information Security
