Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 , and Jan Verschuren1 ? 1 Netherlands National Communication Security Agency (NLNCSA)

Source URL: cryptojedi.org

• Cryptography
• Public-key cryptography
• Post-quantum cryptography
• Smart cards
• Hash-based cryptography
• Digital signature
• Cryptographic hash function
• Java Card
• Hash function
• Security token
• Cryptographic primitive
• XMSS

Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 and Jan Verschuren1 1 Netherlands National Communication Security Agency (NLNCSA)

Source URL: joostrijneveld.nl

• Cryptography
• Post-quantum cryptography
• Quantum cryptography
• Emerging technologies
• Quantum computing
• Key
• Supersingular isogeny key exchange
• Ring learning with errors key exchange

A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304

Source URL: www.kestrel.edu

• Computing
• Software engineering
• Computer programming
• Concurrent programming languages
• High-level programming languages
• Type theory
• Programming languages
• Program analysis
• Java virtual machine
• Type system
• Go
• Java

Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan Guoqing Xu Atanas Rountev

Source URL: dacongy.github.io

• Graph theory
• Graph connectivity
• Strongly connected component
• Reachability
• Graph
• Node
• Topological sorting

Seuss for Java Language Reference Rajeev Joshi 1 12 FebruaryAbstract

Source URL: rjoshi.org

• Computing
• Software engineering
• Computer programming
• Programming languages
• Data types
• Java
• Programming language syntax
• Object-oriented programming languages
• Java syntax
• Const
• F
• ALGOL 68

Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation Philipp Holzinger∗ , Ben Hermann† , Johannes Lerch† , Eric Bodden‡ and Mira Mezini† ∗ Fraunhofer SIT, Email: philipp.holzinger@sit

Source URL: www.ieee-security.org

• Computing
• Software engineering
• Computer programming
• Programming languages
• High-level programming languages
• Concurrent programming languages
• Java platform
• Java
• Call stack
• Stack
• Java Class Library
• Go

Uncovering Performance Problems in Java Applications with Reference Propagation Profiling 1 Dacong Yan1

Source URL: dacongy.github.io

• Computing
• Compiler optimizations
• Software engineering
• Data types
• Memory management
• Escape analysis
• Static program analysis
• Tree
• Heap
• Garbage
• Static single assignment form
• Node

LeakWatch: Estimating Information Leakage from Java Programs Tom Chothia1 , Yusuke Kawamoto2? , and Chris Novakovic1 1 School of Computer Science, University of Birmingham, UK

Source URL: www.cs.bham.ac.uk

• Information theory
• Statistical theory
• Mathematics
• Mathematical analysis
• Entropy
• Mutual information
• Expected value
• Confidence interval
• Information flow
• Binomial distribution
• Conditional entropy
• Quantities of information

Understanding Parallelism-Inhibiting Dependences in Sequential Java Programs Atanas Rountev∗, Kevin Van Valkenburgh†, Dacong Yan∗ and P. Sadayappan∗ ∗ Ohio State University

Source URL: dacongy.github.io

Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University

Source URL: cgi.csc.liv.ac.uk

• Software engineering
• Java Pathfinder
• Computer programming
• Computing
• Const
• Obfuscation
• Assembly languages
• Programming language syntax
• Java
• P-code machine