Gauss Sieve Algorithm on GPUs Shang-Yi Yang1 , Po-Chun Kuo1(B) , Bo-Yin Yang2 , and Chen-Mou Cheng1 1 Department of Electrical Engineering, National Taiwan University, Taipei, Taiwan {ilway25,kbj,doug}@crypto.tw

Source URL: precision.moscito.org

• Cryptography
• Mathematics
• Post-quantum cryptography
• Lattice-based cryptography
• Lie groups
• Computational hardness assumptions
• Lattice problem
• Lattice
• Euclidean algorithm
• LenstraLenstraLovsz lattice basis reduction algorithm
• Ideal lattice cryptography
• Short integer solution problem

Cofactorisation strategies for the number field sieve and an estimate for the sieving step for factoring 1024-bit integers Thorsten Kleinjung, University of Bonn

Source URL: www.hyperelliptic.org

• Mathematics
• Integer factorization algorithms
• General number field sieve
• Primality test
• Factorization
• Divisor
• Prime number
• 284
• Square root

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

Steps Towards Verified Implementations of HOL Light Magnus O. Myreen1 , Scott Owens2 , and Ramana Kumar1 1 Computer Laboratory, University of Cambridge, UK

Source URL: cakeml.org

• Software engineering
• Computer programming
• Computing
• Proof assistants
• Logic in computer science
• Functional languages
• Automated theorem proving
• Theoretical computer science
• HOL
• Logic for Computable Functions
• Automated reasoning
• ML

Mille-Feuille: Putting ISP traffic under the scalpel Olivier Tilmans ‡∗, Tobias Bühler §, Stefano Vissicchio †, Laurent Vanbever § ‡ Université catholique de Louvain, § ETH Zürich, † University College Lo

Source URL: inl.info.ucl.ac.be

• Computing
• Information and communications technology
• Network architecture
• Internet architecture
• Internet Standards
• Routing protocols
• Computer networking
• Network protocols
• Computer network
• Network switch
• Port mirroring
• NetFlow

Constructing Plan Trees for Simulated Penetration Testing Dorin Shmaryahu Information Systems Engineering Ben Gurion University Israel

Source URL: icaps16.icaps-conference.org

• Security engineering
• Mathematics
• Computing
• Dynamic programming
• Partially observable Markov decision process
• Stochastic control
• Theoretical computer science
• Heuristic
• Automated planning and scheduling
• Shortest path problem
• Mathematical optimization
• Computer security

A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the

Source URL: www.pepper-project.org

Cambridge University Press3 - Secure Multiparty Computation and Secret Sharing Ronald Cramer, Ivan Bjerre Damgård and Jesper Buus Nielsen Table of Contents More information

Source URL: users-cs.au.dk

• Cryptography
• Public-key cryptography
• Secret sharing
• Secure multi-party computation
• Cryptographic protocol
• Ivan Damgrd

This space is reserved for the EPiC Series header, do not use it Beyond DRAT: Challenges in Certifying UNSAT∗ Bertram Felgenhauer University of Innsbruck

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

• Drat
• Conjunctive normal form
• Constraint programming
• Theoretical computer science
• NP-complete problems
• Logic in computer science

representation theory and geometry Geordie Williamson University of Sydney http://www.maths.usyd.edu.au/u/geordie/ICM.pdf representations

Source URL: www.maths.usyd.edu.au

• Abstract algebra
• Algebra
• Group theory
• Representation theory
• Symmetric group
• Group representation
• Isomorphism
• Galois module