MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "SEAL." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7,039 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • The Seal Calculus  
  • by G. Castagna , J. Vitek , F. Zappa Nardelli — 2005
  • …Abstract Information and Computation 201 (2005) 1–54 The Seal Calculus G. Castagna a, ∗ , J. Vitek…
  • Cited by 10 (0 self) – Add To MetaCart
  • Vulnerability Assessment of Security Seals  
  • by Author(s) R. G. Johnston, R.G. Johnston, Ph. D, Anthony R. E. Garcia — 1997 — Journal of Security Administration
  • …LA-UR-96-3672 Title: Vulnerability Assessment of Security Seals Author(s): R.G. Johnston Submitted…
  • Cited by 9 (4 self) – Add To MetaCart
  • Typing mobility in the Seal Calculus  
  • by Giuseppe Castagna Giorgio, Giorgio Ghelli — 2001 — In Concur 2001, number 2154 in LNCS
  • …Typing mobility in the Seal Calculus Giuseppe Castagna 1 , Giorgio Ghelli 2 , Francesco Zappa…
  • Add To MetaCart
  • Cryptanalysis of the SEAL Encryption Algorithm  
  • by Published In Biham, Helena Handschuh, Henri Gilbert — 1997 — Fast Software Encryption FSE’97, LNCS
  • …# 2 Cryptanalysis of the SEAL Encryption Algorithm [Published in E. Biham, Ed., Fast Software…
  • Add To MetaCart
  • Commitment and confinement for the Seal calculus  
  • by Giuseppe Castagna, Jan Vitek, Centre Universitaire D'informatique
  • …Commitment and confinement for the Seal calculus Giuseppe Castagna Jan Vitek C.N.R.S, Laboratoire…
  • Add To MetaCart
  • A bisimulation for dynamic sealing  
  • by Eijiro Sumii — 2004 — In Proceedings 31st Annual ACM Symposium on Principles of Programming Languages
  • …Abstract A Bisimulation for Dynamic Sealing Eijiro Sumii University of Pennsylvania sumii…
  • Cited by 21 (3 self) – Add To MetaCart
  • A Bisimulation for Dynamic Sealing  
  • by Eijiro Sumii And, Eijiro Sumii, Benjamin C. Pierce — 2004 — In Proceedings 31st Annual ACM Symposium on Principles of Programming Languages
  • …A Bisimulation for Dynamic Sealing EIJIRO SUMII and BENJAMIN C. PIERCE University of Pennsylvania…
  • Add To MetaCart
  • Types for Seal Calculus  
  • by Francesco Zappa Nardelli, Giorgio Ghelli
  • … in Informatica Master Thesis Types for Seal Calculus Candidate Francesco Zappa Nardelli Supervisor Giuseppe…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB