Klint
Automated verification of network function binaries
Code AnalysisLow-LevelNetworkServer
Key facts
Maturity
Support
C4DT
Lab
Key facts
Maturity
Support
C4DT
Lab
- C4DT work
- Technical
- Research papers
- Presentation
Status: Retired
Timeline: For this project we implemented extended Berkley Packet Filtering (eBPF) support, so that the software verification can also be done for this type of code.
Timeline: For this project we implemented extended Berkley Packet Filtering (eBPF) support, so that the software verification can also be done for this type of code.
The Dependable Systems Lab develops techniques and abstractions for building trustworthy computer systems, i.e., systems that are safe and secure. They:
- Explore the fundamental challenges posed to security and safety by large-scale systems consisting of many threads, many nodes, and millions of lines of code written by many programmers
- Seek solutions that solve real-world problems by overcoming theoretical worst-case limitations
- Build open-source prototypes that enable evaluation of these solutions with real-world workloads
- Operate at the intersection of operating systems, distributed systems, programming languages, formal methods, and computer architecture
This page was last edited on 2024-03-08.
This page was last edited on 2024-03-08.