A preliminary version of this paper appears in Advances in Cryptology – EUROCRYPT 2004, volume 3027 of Lecture Notes in Computer Science, C. Cachin and J. Camenisch ed., Springer-Verlag, 2004. This is the full version.

Source URL: www.neven.org

• Cryptography
• Digital signature
• Random oracle
• IP
• Ibi
• Schnorr signature

to appear in Automatic Program Development: a Tribute to Robert Paige, O. Danvy, F. Henglein, H. Mairson, and A. Pettorosi (Eds.), Springer-Verlag, 2006. Aspects as Invariants Douglas R. Smith Kestrel Institute

Source URL: www.kestrel.edu

• Software development
• Aspect-oriented software development
• Computing
• Software engineering
• Aspect-oriented programming
• Pointcut
• AspectJ
• Join point
• Invariant
• Const

8 8 Esther Oswald, Benjamin Rubeli, Regine Berger

Source URL: www.hep-verlag.ch

Full version of an extended abstract published in Proceedings of PKC 2015, Springer-Verlag, 2015. Available from the IACR Cryptology ePrint Archive as ReportA Profitable Sub-Prime Loan: Obtaining the Advantage

Source URL: smeiklej.com

• Algebra
• Abstract algebra
• Mathematics
• Group theory
• Linear algebra
• Pairing-based cryptography
• Subgroup
• Pairing
• XTR
• Generalized flag variety

Full version of an extended abstract published in Proceedings of Eurocrypt 2014, Springer-Verlag, 2014. D´ej`a Q: Using Dual Systems to Revisit q-Type Assumptions Sarah Meiklejohn∗ UC San Diego

Source URL: smeiklej.com

• Algebra
• Abstract algebra
• XTR
• Verifiable random function
• Computational hardness assumptions
• Group theory
• Lie groups

Full version of an extended abstract published in Proceedings of PKC 2013, Springer-Verlag, 2013. Available from the IACR Cryptology ePrint Archive as ReportVerifiable Elections That Scale for Free Melissa Cha

Source URL: smeiklej.com

• Cryptography
• E-commerce
• RSA
• Public-key cryptography
• Cryptosystem

Full version of an extended abstract published in Proceedings of Eurocrypt 2012, Springer-Verlag, 2012. Available from the IACR Cryptology ePrint Archive as ReportMalleable Proof Systems and Applications Melis

Source URL: smeiklej.com

• Cryptography
• Zero-knowledge proof
• Proof of knowledge
• Malleability
• Mathematical proof
• Non-interactive zero-knowledge proof
• Ciphertext indistinguishability
• Homomorphic encryption
• FiatShamir heuristic

RICHTLINIEN BEILAGENANLIEFERUNG. 1  /  3 Reservationen, Auflagenbestimmung, Preis und Zulässigkeit des Inhalts sind vorgängig mit dem Verlag oder der zuständigen Inseratenverwaltung abzusprechen.

Source URL: www.swissprinters.ch

manuscripta math. 136, 155–) © Springer-Verlag 2011 Julien Grivaux

Source URL: jgrivaux.perso.math.cnrs.fr

• Mathematics
• Mathematical analysis
• Algebra
• Algebraic varieties
• Algebraic topology
• General topology
• Operator theory
• Projective geometry
• Projective variety
• Sheaf
• Diffeomorphism
• Local homeomorphism

www.hep-verlag.ch/validieren-und-anerkennen UG_Validieren_und_Anerkennen_1A_18.indd Alle Seiten Validieren und anerkennen

Source URL: www.hep-verlag.ch