ad-l
Security researcher, working on cryptographic protocols and formal verification of security properties.
Microsoft ResearchCambridge, UK
Pinned Repositories
app-attestation-encryption
A proxy to encrypt requests to a LangChain/Ollama API with RAG
attestation-extension
attested-fetch
base-drafts
Internet-Drafts that make up the base QUIC specification
CCF
Confidential Consortium Framework
ccfdns
A CCF-based, attested DNS server
djcl
DJS Crypto Library
draft-ietf-scitt-architecture
An Architecture for Trustworthy Digital Supply Chain Transparency Services
FStar
An ML-like language with a type system for program verification
ravl
Remote Attestation Verification Library
ad-l's Repositories
ad-l/djcl
DJS Crypto Library
ad-l/FStar
An ML-like language with a type system for program verification
ad-l/app-attestation-encryption
A proxy to encrypt requests to a LangChain/Ollama API with RAG
ad-l/attestation-extension
ad-l/draft-ietf-scitt-architecture
An Architecture for Trustworthy Digital Supply Chain Transparency Services
ad-l/ravl
Remote Attestation Verification Library
ad-l/attested-fetch
ad-l/base-drafts
Internet-Drafts that make up the base QUIC specification
ad-l/CCF
Confidential Consortium Framework
ad-l/ccfdns
A CCF-based, attested DNS server
ad-l/cts
Attested build of SCITT CCF application
ad-l/draft-birkholz-cose-cometre-ccf-profile
A Profile of the CoMETRE Proof Structure for the Confidential Consortium Framework (CCF) and Corresponding Tree Algorithm
ad-l/draft-birkholz-scitt-architecture
A specification including, problem statement, use cases, requirements, and architectural constituents in support of Supply Chain Integrity, Transparency, and Trustworthiness
ad-l/everest-dist
Distribution files of Project Everest
ad-l/openenclave
SDK for developing enclaves
ad-l/tess-mockup
ad-l/cvm-guest-attestation
Confidential VM Guest Attestation Library
ad-l/draft-ietf-scitt-scrapi
Transparency Service REST API
ad-l/ohttp
Rust library for encapsulating HTTP messages in a cryptographic wrapper
ad-l/tls13-spec
TLS 1.3 Specification
ad-l/whisper-onnx
Running Whisper with ONNX Runtime + CUDA Graph