Towards Formal Verification of TLS Network Packet Processing Written in C

doi 10.1145/2428116.2428124
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Deductive Verification of Telecommunication Systems Written in C

Automatic Control and Computer Sciences
ControlSystems EngineeringSignal ProcessingSoftware
2013English

Towards Formal Verification of Role-Based Access Control Policies

IEEE Transactions on Dependable and Secure Computing
Electronic EngineeringElectricalComputer Science
2008English

Equational Approach to Formal Analysis of TLS

English

Formal Verification of kLIBC With the WP Frama-C Plug-In

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Formal Specification and Verification of Communication in Network-On-Chip: An Overview

International Journal of Recent Contributions from Engineering, Science & IT (iJES)
2018English

A Formal Treatment of Accountable Proxying Over TLS

2018English

Line-Rate Packet Processing in Hardware: The Evolution Towards 400 Gbit/S

2015English

Formal Verification of Pipelined Processors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Formal Verification of NTRUEncrypt Scheme

International Journal of Computer Network and Information Security
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy