BRICS - PDFSEARCH.IO - Document Search Engine

BRICS
Results: 891

#	Item
111	Nordic Journal of Computing On the Expressive Power of Polyadic Synchronisation in π-calculus∗ Marco Carbone BRICS† Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04
112	BRICS Basic Research in Computer Science BRICS RSDamg˚ard & Nielsen: From Known-Plaintext Security to Chosen-Plaintext Security From Known-Plaintext Security to Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-11-06 09:17:54 Pseudorandom function family Ciphertext indistinguishability Cipher Differential cryptanalysis Stream cipher Cryptography Advantage Block cipher
113	BRICS RSH. K. Rohde: Formal Aspects of Polyvariant Specialization BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-11-21 16:52:08
114	BRICS Basic Research in Computer Science BRICS RSDamian & Danvy: A Simple CPS Transformation of Control-Flow Information A Simple CPS Transformation of Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-03-20 03:28:29
115	BRICS BRICS DS-96-2 Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-09-02 07:39:05
116	BRICS RSBiernacki et al.: On the Static and Dynamic Extents of Delimited Continuations BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2006-02-02 19:25:30
117	BRICS Basic Research in Computer Science BRICS DS-01-5 D. Damian: On Static and Dynamic Control-Flow Information Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-17 07:08:11
118	BRICS Basic Research in Computer Science BRICS RSCrazzolara & Winskel: Events in Security Protocols Events in Security Protocols Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-06-08 05:33:50
119	BRICS RSK. Støvring: Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-11-23 17:22:09
120	BRICS Basic Research in Computer Science BRICS DS-03-4 F. Crazzolara: Language, Semantics, and Methods for Security Protocols Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-03-29 02:36:47 International relations Foreign relations BRICS Support BRIC Aarhus University Aarhus Foreign relations of Brazil Foreign relations of India Politics

UPDATE