The Computer Science Laboratory studies the logical foundations of scalable systems that are beyond the scope of traditional testing or simulation, and builds and applies efficient high-level tools for rigorous mechanical analysis. Current systems of interest include not only traditional computer hardware and software, but also biological systems and nanoelectronics.
SRI International's Computer Science Laboratory
- 71 followers
- Menlo Park, California
- https://sri-csl.github.io
Pinned Loading
Repositories
Showing 10 of 148 repositories
- chalo-tls-interposer Public
TLS Interposer (Dongle) Tool developed as part of the CAC-H topic under SRI's CHALO project.
SRI-CSL/chalo-tls-interposer’s past year of commit activity - chalo-network-analyzer Public
Network Analysis Tool developed as part of the CAC-H topic under SRI's CHALO project
SRI-CSL/chalo-network-analyzer’s past year of commit activity - trio-quicly Public
Reference implementation of QUIC-LY transport protocol (which is QUIC without encryption) using the Python Trio framework.
SRI-CSL/trio-quicly’s past year of commit activity
