IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar

Source URL: jorgenavas.github.io

• Software engineering
• Computing
• Software
• Compilers
• Compiler construction
• Compiler optimizations
• Abstract interpretation
• LLVM
• Programming language implementation
• Intermediate representation
• Polyspace
• Static program analysis

NATO Cooperative Cyber Defence Centre of Excellence (the Centre) is a NATO-accredited International Military Organisation dealing with education, consultation, lessons learned, research and development in the field of cy

Source URL: www.ccdcoe.org

• Security
• National security
• Cyberwarfare
• Prevention
• Cooperative Cyber Defence Centre of Excellence
• Security engineering
• Cybercrime
• SCADA
• Proactive cyber defence
• Computer security

Reconfigurable Hardware Implementation of Mesh Routing in the Number Field Sieve Factorization Sashisu Bajracharya1, Deapesh Misra1, Kris Gaj1, Tarek El-Ghazawi2 1

Source URL: www.hyperelliptic.org

• Algebra
• Linear algebra
• Mathematics
• Numerical linear algebra
• Matrix theory
• Integer factorization algorithms
• Multiplication
• Reconfigurable computing
• Field-programmable gate array
• Matrix
• Virtex
• Xilinx

Cofactorisation strategies for the number field sieve and an estimate for the sieving step for factoring 1024-bit integers Thorsten Kleinjung University of Bonn, Department of Mathematics, Beringstraße 1, DBonn,

Source URL: www.hyperelliptic.org

• Integer factorization algorithms
• Mathematics
• Quadratic sieve
• General number field sieve
• Integer factorization
• Prime number
• Factorization
• Number theory
• Factor base
• Shanks's square forms factorization

Alice in Warningland: A Large-Scale Field Study of Browser Security Warning Effectiveness Devdatta Akhawe, University of California, Berkeley; Adrienne Porter Felt, Google, Inc. This paper is included in the Proceedings

Source URL: www.usenix.org

• Software
• Computing
• Web browsers
• Computer network security
• Mozilla
• Social engineering
• Portable software
• Phishing
• Firefox
• Microsoft SmartScreen
• Mozilla Corporation
• Google Chrome

Lecture 16, Tues March 21: Quantum Computing, Universal Gate Sets Guest Lecture by Tom Wong Having seen lots of quantum protocols, we’re finally ready to tackle the holy grail of the field: a programmable quantum compu

Source URL: www.scottaaronson.com

• Quantum information science
• Theoretical computer science
• Quantum mechanics
• Quantum logic gate
• Quantum circuit
• Toffoli gate
• Qubit
• Quantum computing
• Controlled NOT gate
• Quantum error correction
• Quantum teleportation
• GottesmanKnill theorem

A polynomial time algorithm for computing the HNF of a module over the integers of a number field Jean-François Biasse Claus Fieker

Source URL: www.lix.polytechnique.fr

Cohomological field theory calculations Rahul Pandharipande February 2018 Abstract Cohomological field theories (CohFTs) were defined in the mid 1990s by Kontsevich and Manin to capture the formal properties of the virtu

Source URL: eta.impa.br

• Geometry
• Algebra
• Abstract algebra
• Moduli theory
• String theory
• Symplectic topology
• Algebraic geometry
• GromovWitten invariant
• Quantum cohomology
• Moduli of algebraic curves
• Stable map
• Orbifold

Implementation of Mesh Routing for the Matrix Step in Number Field Sieving Factoring

Source URL: www.hyperelliptic.org

• Numerical linear algebra
• Integer factorization algorithms
• General number field sieve
• Matrix
• Sparse matrix
• LU decomposition
• Incomplete Cholesky factorization

METRIC DIMENSION REDUCTION: A SNAPSHOT OF THE RIBE PROGRAM ASSAF NAOR 1. Introduction The purpose of this article is to survey some of the context, achievements, challenges and mysteries of the field of metric dimension

Source URL: eta.impa.br

• Mathematics
• Mathematical analysis
• Geometry
• Functional analysis
• Metric geometry
• Banach spaces
• General topology
• BanachMazur compactum
• Tsirelson space
• Normed vector space
• Metric space
• Compact operator