Sciweavers

959 search results - page 3 / 192
» Fundamental Concepts in Programming Languages
Sort
View
ICALP
2007
Springer
13 years 11 months ago
A "proof-reading" of Some Issues in Cryptography
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...
Ivan Damgård
PLDI
2003
ACM
13 years 10 months ago
Debugging temporal specifications with concept analysis
Glenn Ammons, David Mandelin, Rastislav Bodí...