2432 search results - page 36 / 487 » Cryptographic logical relations |
94
Voted
FUIN
2008
14 years 12 months ago
2008
63
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
ESSLLI
2009
Springer
14 years 10 months ago
2009
Springer
133
Voted
LOGCOM
2011
14 years 3 months ago
2011
TAP
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...