postechsv

Popular repositories Loading

1. plc-release plc-release Public

   HTML 13

2. maude-se maude-se Public

   An SMT extension of Maude

   C++ 12 1

3. tee-formal-spec tee-formal-spec Public

   Formal Specification of Trusted Execution Environment APIs

   Python 11 2

4. AGCEL AGCEL Public

   Python 10 1

5. tee-formal-analysis tee-formal-analysis Public

   Formal Analysis of TEE Applications using TEE Formal Spec.

   C 10 1

6. lmc-ext lmc-ext Public

   Extension of Maude Logical Model Checker (https://maude.cs.illinois.edu/tools/lmc/)

   10 1