escapin Goto Github PK

ai-code-reparation

bayesiannetworks

A Machine Learning Approach for Fault Detection of Energy Consumption

cloudstoragesystem

A Cloud Storage System with strong cryptographic security guarantees

congruentclosurealgorithm

A theorem prover, based on the Congruence Closure Algorithm, in order to check the validity of formulae written in Equality and List Theory (SMT)

cvjfunct

A Library of Cryptographic Operations: A Real and Ideal Java Implementation - https://eprint.iacr.org/2014/038

electionmanager

An Election Manager for the sElect e-voting system

escapin.github.io

Personal website

evotingmachine

An E-Voting Machine with auditing procedures

evotingverif

E-Voting case studies on which we tried to establish cryptographic security guarantees

givenclauseloop

A theorem prover, based on the "Given Clause Loop" method, in order to assert if a sequent is valid or not

javastudy

Java SE 11 Developer (1Z0-819)

javautils

A collections of (mostly) utils class and methods.

json-parser

JavaCC-built JSON Parser

mixserververification

Verification of the Mix Server of sElect

rest-service

select

A Lightweight Verifiable Remote Voting System - https://eprint.iacr.org/2016/438

select_homepage

Homepage of the sElect e-voting system introducing its main features

spring-rest-service