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

Formal Analysis of Multi-Party Contract Signing.R. Chadha, S. Kremer, and A. Scedrov. CSFW, page 266-265. IEEE Computer Society, (2004)A Probabilistic Poly-Time Framework for Protocol Analysis.P. Lincoln, J. Mitchell, M. Mitchell, and A. Scedrov. ACM Conference on Computer and Communications Security, page 112-121. ACM, (1998)Reduction-Based Formal Analysis of BGP Instances.A. Wang, C. Talcott, A. Gurney, B. Loo, and A. Scedrov. TACAS, volume 7214 of Lecture Notes in Computer Science, page 283-298. Springer, (2012)On Lambek's Restriction in the Presence of Exponential Modalities.M. Kanovich, S. Kuznetsov, and A. Scedrov. LFCS, volume 9537 of Lecture Notes in Computer Science, page 146-158. Springer, (2016)Some Semantic Aspects of Polymorphic Lambda CalculusP. Freyd, and A. Scedrov. LICS, page 315-319. IEEE Computer Society, (1987)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)Polynomially Grade Logic I: A Graded Version of System TA. Nerode, J. Remmel, and A. Scedrov. LICS, page 375-385. IEEE Computer Society, (1989)A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols.M. AlTurki, T. Kirigin, M. Kanovich, V. Nigam, A. Scedrov, and C. Talcott. Foundations of Security, Protocols, and Equational Reasoning, volume 11565 of Lecture Notes in Computer Science, page 192-213. Springer, (2019)Some aspects of categorial semantics: sheves and glueing.A. Scedrov. Logic Colloquium, page 281-302. Elsevier, (1985)