MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Logical Relations for Encryption." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Logical Relations for Encryption  
  • by Eijiro Sumii University, Eijiro Sumii, Benjamin C. Pierce — 2001
  • …Logical Relations for Encryption 3 Eijiro Sumii y University of Tokyo sumii…
  • Add To MetaCart
  • Logical Relations for Encryption  
  • by Eijiro Sumii, Benjamin C. Pierce — 2001 — In 14th IEEE Computer Security Foundations Workshop
  • …Logical Relations for Encryption # Eijiro Sumii + University of Tokyo sumii…
  • Cited by 30 (2 self) – Add To MetaCart
  • Relational reasoning in a nominal semantics for storage  
  • by Nick Benton, Benjamin Leperchey — 2005 — In Proc. 7th International Conference on Typed Lambda Calculi and Applications (TLCA), volume 3461 of Lecture Notes in Computer Science
  • … step forward, building on the work of Pitts and Stark on an operational logical relation for an ML…
  • Cited by 30 (8 self) – Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB