Automata, Languages and Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

50
(FIVE YEARS 0)

H-INDEX

14
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540359074, 9783540359081
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or

2006 ◽  
pp. 132-143 ◽  
Author(s):  
Stéphanie Delaune ◽  
Pascal Lafourcade ◽  
Denis Lugiez ◽  
Ralf Treinen
Keyword(s):  
Protocol Analysis ◽  
Exclusive Or

Differential Privacy

2006 ◽  
pp. 1-12 ◽  
Author(s):  
Cynthia Dwork
Keyword(s):  
Differential Privacy

Corrupting One vs. Corrupting Many: The Case of Broadcast and Multicast Encryption

2006 ◽  
pp. 70-82 ◽  
Author(s):  
Daniele Micciancio ◽  
Saurabh Panjwani

An Efficient Provable Distinguisher for HFE

2006 ◽  
pp. 156-167 ◽  
Author(s):  
Vivien Dubois ◽  
Louis Granboulan ◽  
Jacques Stern

Theories of HNN-Extensions and Amalgamated Products

2006 ◽  
pp. 504-515 ◽  
Author(s):  
Markus Lohrey ◽  
Géraud Sénizergues
Keyword(s):  
Hnn Extensions ◽  
Amalgamated Products

Independent Zero-Knowledge Sets

2006 ◽  
pp. 34-45 ◽  
Author(s):  
Rosario Gennaro ◽  
Silvio Micali
Keyword(s):  
Zero Knowledge ◽  
Independent Zero

scholarly journals A Finite Equational Base for CCS with Left Merge and Communication Merge

2006 ◽  
pp. 492-503 ◽  
Author(s):  
Luca Aceto ◽  
Wan Fokkink ◽  
Anna Ingolfsdottir ◽  
Bas Luttik

Invisible Safety of Distributed Protocols

2006 ◽  
pp. 528-539 ◽  
Author(s):  
Ittai Balaban ◽  
Amir Pnueli ◽  
Lenore D. Zuck
Keyword(s):  
Distributed Protocols

Typed GoI for Exponentials

2006 ◽  
pp. 384-395 ◽  
Author(s):  
Esfandiar Haghverdi
Load More ...
Sign in / Sign up

Export Citation Format

Share Document