IMDEA Software Institute
Madrid Institute for Advanced Studies in Software Development Technologies
Campus Montegancedo s/n 28223, Pozuelo de Alarcon, Madrid, Spain
Pinned Repositories
async-droid
fcsl-pcm
Partial Commutative Monoids
homomorphic-authentication-library
HAL: A Library for Homomorphic Authentication
htt
Hoare Type Theory
leap
A theorem prover for the temporal parametrized verification of concurrent data types
legosnark
C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
LLVM_Instrumentation_Pass
MSCProof
Implementation of the paper "Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing"
swiftpaxos
Prototype implementation of SwiftPaxos (NSDI 2024)
verifying-constant-time
IMDEA Software Institute's Repositories
imdea-software/htt
Hoare Type Theory
imdea-software/legosnark
C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
imdea-software/fcsl-pcm
Partial Commutative Monoids
imdea-software/swiftpaxos
Prototype implementation of SwiftPaxos (NSDI 2024)
imdea-software/MSCProof
Implementation of the paper "Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing"
imdea-software/hlola
A Runtime Verification Engine
imdea-software/apkmonk-scraper
Python script to download all apk releases from apkmonk.com
imdea-software/AndroidRipper
A toolset for the automatic GUI testing of mobile Android Applications.
imdea-software/dLola
Decentralized Stream Runtime Verification
imdea-software/hs-to-ciao
Source-to-source Haskell into Ciao Prolog for automatic resource analysis.
imdea-software/HStriver
imdea-software/lunar
A Rust library for the Lunar universal zkSNARK
imdea-software/remeddos
imdea-software/striver-full
The runtime verification infrastructure for the fully fledged version of Striver
imdea-software/GUIRipper
A fork of GUIRipper v1.1 (http://wpage.unina.it/ptramont/GUIRipperConfigurable_Java7.htm)
imdea-software/McLola
imdea-software/a3e
A fork of https://github.com/tanzirul/a3e (Automatic Android App Explorer)
imdea-software/androcov
Measure test coverage without source code.
imdea-software/atomic-multicast
White-box genuine atomic multicast, mirror from
imdea-software/droidmate
A fork of https://github.com/uds-se/droidmate (Automated GUI execution generator for Android apps)
imdea-software/dynodroid
A fork of https://github.com/dynodroid/dynodroid (Automatic Input Generation System for Android Apps)
imdea-software/PUMA
A fork of https://github.com/USC-NSL/PUMA (Programmable UI-Automation Framework for Dynamic App Analysis)
imdea-software/rem-alm
imdea-software/rust-playground
imdea-software/sapienz
A fork of Prototype of https://github.com/Rhapsod/sapienz (the original project is Out-of-date and no longer supported)
imdea-software/setchain-basic
A Byzantine-fault tolerant distributed grow-only set equipped with synchronization barriers.
imdea-software/striver
The runtime verification infrastructure for the past fragment and the fully fledged version of Striver
imdea-software/striver-past
The runtime verification infrastructure for the past fragment of Striver
imdea-software/SwiftHand
A fork of https://github.com/wtchoi/SwiftHand (Automated Testing Tool for Android Applications)
imdea-software/swot
Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.