Sciweavers

15777 search results - page 77 / 3156
» Engineering in Software
Sort
View
91
Voted
AC
1998
Springer
15 years 6 months ago
Practice-Oriented Provable Security
Mihir Bellare
94
Voted
AC
1998
Springer
15 years 6 months ago
Commitment Schemes and Zero-Knowledge Protocols
Ivan Damgård
83
Voted
ADAEUROPE
1998
Springer
15 years 6 months ago
Looking at Code With Your Safety Goggles On
Ken Wong
84
Voted
AMAST
1998
Springer
15 years 6 months ago
Abstract Algebraic Logic
Don Pigozzi
87
Voted
AMAST
1998
Springer
15 years 6 months ago
A Linear Metalanguage for Concurrency
Glynn Winskel