-
pytm Public
Forked from OWASP/pytmA Pythonic framework for threat modeling
Python Other UpdatedMay 5, 2025 -
ingress-controller-minikube Public
Prototype of an ingress controller managing JWT tokens
Python UpdatedJan 23, 2025 -
paper-authentic-execution Public
Source files of the paper "End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs"
TeX UpdatedJan 23, 2025 -
paper-v2x Public
Source files of the paper "Efficient and Timely Revocation of V2X Credentials"
TeX UpdatedJan 23, 2025 -
paper-time Public
Source files of the paper "About Time: On the Challenges of Temporal Guarantees in Untrusted Environments"
TeX UpdatedJan 23, 2025 -
paper-cloud Public
Source files of the paper "Understanding Trust Relationships in Cloud-Based Confidential Computing"
TeX UpdatedJan 23, 2025 -
phd-thesis Public
Forked from wannesm/adsphdKU Leuven Arenberg Doctoral School PhD dissertation latex class
TeX UpdatedJan 23, 2025 -
tamarin-prover Public
Forked from tamarin-prover/tamarin-proverMain source code repository of the Tamarin prover for security protocol verification.
Haskell GNU General Public License v3.0 UpdatedMay 21, 2024 -
jwx Public
Forked from lestrrat-go/jwxImplementation of various JWx (Javascript Object Signing and Encryption/JOSE) technologies
Go MIT License UpdatedSep 27, 2022
{{ message }}