mesalock-linux / tpm2-tss-verifiedView external linksLinks
A modified version of tpm2-tss that passed memory safety formal verification
☆12Jul 26, 2019Updated 6 years ago
Alternatives and similar repositories for tpm2-tss-verified
Users that are interested in tpm2-tss-verified are comparing it to the libraries listed below
Sorting:
- This experimetal fuzzer is meant to be used for API in-memory fuzzing on Android.☆17Nov 26, 2019Updated 6 years ago
- Collection of Emacs Development Environment Tools☆24Oct 13, 2020Updated 5 years ago
- Prevent your Windows system and monitor from sleeping.☆12Mar 16, 2017Updated 8 years ago
- ☆33Jan 14, 2026Updated last month
- Boost library subset for FireBreath☆13Apr 17, 2017Updated 8 years ago
- ☆11Feb 15, 2022Updated 3 years ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- Provides a mechanism for privacy over Hyperledger Sawtooth by enforcing a policy of access control to the ledger.☆13Apr 13, 2022Updated 3 years ago
- DEPRECATED: Element Hiding Helper extension for Adblock Plus☆11Dec 1, 2017Updated 8 years ago
- ☆10Apr 12, 2019Updated 6 years ago
- java设计模式☆10Mar 9, 2016Updated 9 years ago
- Using javax.websocket testing out some basic websocket connections ported over from Java examples☆13May 5, 2015Updated 10 years ago
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆12Dec 28, 2018Updated 7 years ago
- Promise +☆11Jan 6, 2016Updated 10 years ago
- su binary for android Superuser☆17Jul 11, 2012Updated 13 years ago
- A simple Mali 6xx/7xx register interface model that doesn't do any rendering.☆13Jan 29, 2016Updated 10 years ago
- A confidential VM running unmodified container images in AWS Nitro Enclaves☆12Jan 5, 2026Updated last month
- 基于zopfli封装的PNG图片压缩库☆10Aug 28, 2016Updated 9 years ago
- Web site for http2.info☆19Oct 12, 2015Updated 10 years ago
- A short and simple python crawler, that uses Webkit and executes Javascript☆16Jan 25, 2013Updated 13 years ago
- Files required to create a plugin for EmEditor.☆12Feb 5, 2026Updated last week
- Python cracker for many time pad (multiple one time pad messages)☆10May 3, 2020Updated 5 years ago
- PowerShell Tips☆11Jun 30, 2015Updated 10 years ago
- Coreseek 中文全文检索服务的 Dockerfile☆10Apr 15, 2015Updated 10 years ago
- Embedding binary data in a Go program☆12Aug 1, 2016Updated 9 years ago
- 一个比Spark-Parquet还快5~100倍的存储格式☆12Feb 22, 2016Updated 9 years ago
- ☆11Jan 26, 2016Updated 10 years ago
- ☆13Mar 1, 2024Updated last year
- TLS/SSL and crypto library☆15Mar 19, 2021Updated 4 years ago
- Server-sent Events Java Sample with IE 8+ support☆15Apr 5, 2014Updated 11 years ago
- Framework to serve as a starting point for tutorials☆18Feb 2, 2017Updated 9 years ago
- 下拉tableView放大图片增加波纹效果☆10Sep 15, 2016Updated 9 years ago
- Selenium bindings for Qt☆17Mar 31, 2017Updated 8 years ago
- ☆11Sep 12, 2022Updated 3 years ago
- 解密 StringFog 的默认的xor加密的文本字符串☆15May 8, 2019Updated 6 years ago
- A demo of screen fades using stencil buffer☆11Mar 15, 2024Updated last year
- springboot集成dubbo☆11Jun 17, 2022Updated 3 years ago
- Debug JSSE Provider☆14Dec 4, 2024Updated last year
- A distributed tracing system, and APM ( Application Performance Monitoring )☆10Mar 5, 2018Updated 7 years ago