Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018

Source URL: www.cl.cam.ac.uk

• Computer programming
• Software engineering
• Computing
• Recursion
• Type theory
• Data types
• Theoretical computer science
• Functional programming
• Recursive data type
• Inductive data type
• Corecursion
• Mutual recursion

Stack Overflow Considered Harmful? The Impact of Copy&Paste on Android Application Security Felix Fischer, Konstantin B¨ottinger, Huang Xiao, Christian Stransky∗ , Yasemin Acar∗ , Michael Backes∗ , Sascha Fahl∗

Source URL: www.ieee-security.org

• Computing
• Cryptography
• Cryptographic software
• E-commerce
• Internet Standards
• Internet protocols
• Secure communication
• Transport Layer Security
• Snippet
• Microsoft CryptoAPI
• Public-key cryptography
• Application programming interface

Defining Nonprimitively (Co)recursive Functions in Isabelle/HOL Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel 15 August 2018

Source URL: www.cl.cam.ac.uk

• Computer programming
• Declarative programming
• Software engineering
• Theoretical computer science
• Category theory
• Functional programming
• Recursion
• Type theory
• Corecursion
• Coinduction
• Fold
• SCons

Defining Nonprimitively (Co)recursive Functions in Isabelle/HOL Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel 15 August 2018

Source URL: isabelle.in.tum.de

• Computer programming
• Declarative programming
• Software engineering
• Theoretical computer science
• Category theory
• Functional programming
• Recursion
• Type theory
• Corecursion
• Coinduction
• Fold
• SCons

Comparing the Usability of Cryptographic APIs Yasemin Acar, Michael Backes, Sascha Fahl, Simson Garfinkel∗ , Doowon Kim† , Michelle L. Mazurek† , and Christian Stransky CISPA, Saarland University; ∗ National Inst

Source URL: www.ieee-security.org

• Cryptography
• Cryptographic software
• Technical communication
• E-commerce
• Microsoft CryptoAPI
• Public-key cryptography
• Key
• Usability
• RSA
• Application programming interface
• Symmetric-key algorithm
• OpenSSL

PDF Document

Source URL: www.christian-penaloza.com

PDF Document

Source URL: www.christian-faul.net

PDF Document

Source URL: www.christian-penaloza.com

PDF Document

Source URL: christian.mendl.net