Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds.

G. Barthe, E. Fagerholm, D. Fiore, A. Scedrov, B. Schmidt, and M. Tibouchi. Public Key Cryptography, volume 9020 of Lecture Notes in Computer Science, page 355-376. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andre Leippi University of Stuttgart

Andre Heining University of Stuttgart

André Jaquemod University of Stuttgart

Dr. Andre Schmidt University of Stuttgart

Emil Andreas University of Stuttgart

Other publications of authors with the same name

Linear logic proof games and optimization.P. Lincoln, J. Mitchell, and A. Scedrov. Bulletin of Symbolic Logic, 2 (3): 322-338 (1996)Bounded memory Dolev-Yao adversaries in collaborative systems.M. Kanovich, T. Kirigin, V. Nigam, and A. Scedrov. Inf. Comput., (2014)Phase semantics for light linear logic.M. Kanovich, M. Okada, and A. Scedrov. Electr. Notes Theor. Comput. Sci., (1997)A reduction-based approach towards scaling up formal analysis of internet configurations.A. Wang, A. Gurney, X. Han, J. Cao, B. Loo, C. Talcott, and A. Scedrov. INFOCOM, page 637-645. IEEE, (2014)Some aspects of categorial semantics: sheves and glueing.A. Scedrov. Logic Colloquium, page 281-302. Elsevier, (1985)A Brief Guide to Linear Logic.A. Scedrov. Current Trends in Theoretical Computer Science, volume 40 of World Scientific Series in Computer Science, World Scientific, (1993)Some Semantic Aspects of Polymorphic Lambda CalculusP. Freyd, and A. Scedrov. LICS, page 315-319. IEEE Computer Society, (1987)Formal Analysis of Multi-Party Contract Signing.R. Chadha, S. Kremer, and A. Scedrov. CSFW, page 266-265. IEEE Computer Society, (2004)Decision Problems for Propositional Linear Logic.P. Lincoln, J. Mitchell, A. Scedrov, and N. Shankar. Ann. Pure Appl. Logic, 56 (1-3): 239-311 (1992)L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit.M. Kanovich, S. Kuznetsov, and A. Scedrov. WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 373-391. Springer, (2019)