Formal Specification of Trusted Execution Environment APIs
☆10Dec 26, 2025Updated 3 months ago
Alternatives and similar repositories for tee-formal-spec
Users that are interested in tee-formal-spec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Extension of Maude Logical Model Checker (https://maude.cs.illinois.edu/tools/lmc/)☆10Dec 31, 2025Updated 2 months ago
- Formal Analysis of TEE Applications using TEE Formal Spec.☆10Dec 26, 2025Updated 3 months ago
- An SMT extension of Maude☆12Jun 8, 2025Updated 9 months ago
- ☆12Jan 21, 2025Updated last year
- ☆13Dec 31, 2025Updated 2 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Language based on Rewriting Logic☆166Mar 20, 2026Updated last week
- OVAL framework for BaB-based Neural Network Verification☆17Dec 18, 2025Updated 3 months ago
- Pathway-based sparse deep neural network☆19Nov 9, 2020Updated 5 years ago
- ☆11Jan 17, 2023Updated 3 years ago
- Main repository for Harvard CS260r 2017.☆12Apr 25, 2017Updated 8 years ago
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆35Nov 7, 2018Updated 7 years ago
- ☆14Jan 8, 2023Updated 3 years ago
- ☆14Jan 13, 2023Updated 3 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Jul 8, 2021Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The released code of Neurify in NIPS 2018☆51Dec 8, 2022Updated 3 years ago
- Hitchhiker's Guide to SGCS☆67Mar 7, 2023Updated 3 years ago
- Get started with building your Chrome extension effortlessly! Our starter kit combines the power of cutting-edge technologies like Vite, …☆155Oct 30, 2025Updated 4 months ago
- TAM: Topology-Aware Margin Loss for Class-Imbalanced Node Classification☆71Oct 19, 2023Updated 2 years ago
- GraphENS: Neighbor-Aware Ego Network Synthesis for Class-Imbalanced Node Classification (ICLR'22)☆84Oct 25, 2023Updated 2 years ago
- Paper list of NLP bootcamp in filpped school from modulabs☆99Dec 29, 2019Updated 6 years ago
- Pintos OS from Stanford☆130Apr 14, 2011Updated 14 years ago
- Scalable Layout For Android☆270Apr 9, 2024Updated last year
- Demonstration for blog post☆124Feb 23, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 시각 장애인을 위한 보행로 인식 (Recognizing sidewalk for the visually impaired)☆133Aug 26, 2019Updated 6 years ago
- Weather Website using Node.js, Express, and OpenWeatherMap's API☆147Oct 11, 2023Updated 2 years ago
- remote-edit☆154May 31, 2018Updated 7 years ago
- ☆318Nov 2, 2025Updated 4 months ago
- ETH Robustness Analyzer for Deep Neural Networks☆343Jan 27, 2023Updated 3 years ago
- Migrated:☆233Sep 10, 2019Updated 6 years ago
- This sample has been deprecated/archived. Check this repo for related samples:☆231Oct 17, 2019Updated 6 years ago
- A collection of Android animation repos☆254Jun 12, 2020Updated 5 years ago
- 어쩔티비가 프로그래밍 언어가 된다면 어쩔랭~ 😛☆274Jun 11, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Allan Lab website☆313Feb 10, 2026Updated last month
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆458Sep 18, 2025Updated 6 months ago
- ☆444Nov 24, 2020Updated 5 years ago
- Speech and Language Processing, 2nd Edition in PDF format☆454Jan 16, 2018Updated 8 years ago
- Make Llama2 use Code Execution, Debug, Save Code, Reuse it, Access to Internet☆684Sep 21, 2023Updated 2 years ago
- A simple Node/MongoDB/Angular todo app☆726May 22, 2023Updated 2 years ago
- An awesome sliding button library for Android.☆735Feb 13, 2019Updated 7 years ago