Explore projects
-
Bernd Pruenster / s-kad
European Union Public License 1.2Updated -
A-SIT / Distributed Event System
European Union Public License 1.2Updated -
Bernd Pruenster / crypto-commons
European Union Public License 1.2Updated -
-
Updated
-
Updated
-
Updated
-
scos / scos.sources / ferp-models
GNU General Public License v3.0 onlyUpdated -
Updated
-
scos / ijtihad
Otherijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.
Updated -
Updated
-
Updated
-
crysil / element-javascript
European Union Public License 1.2UpdatedUpdated -
crysil / cryptowebapp
European Union Public License 1.2Updated -
crysil / secure_text_collaboration
European Union Public License 1.2Updated -
Work on soft error analysis for the IMMORTAL project (activity with IBM)
Updated -
scos / akdv17-bounded-synthesis
MIT LicenseUpdated -
scos / akdv2016
MIT LicenseAssignment for AKDV 2016: writing theory solvers in the SMT4J framework.
Updated