9 citations · 33 across the 10 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.CR2010★ 3 cited
Benaloh's Dense Probabilistic Encryption Revisited
Laurent Fousse, Pascal Lafourcade, Mohamed Alnuaimi
In 1994, Josh Benaloh proposed a probabilistic homomorphic encryption scheme, enhancing the poor expansion factor provided by Goldwasser and Micali's scheme. Since then, numerous p…
cs.LO2010★ 3 cited
States and exceptions considered as dual effects
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse +1
In this paper we consider the two major computational effects of states and exceptions, from the point of view of diagrammatic logics. We get a surprising result: there exists a sy…