System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology

Source URL: www.logic.at

• Mathematical logic
• Theoretical computer science
• Automated theorem proving
• Mathematics
• Proof theory
• Logic in computer science
• Formal methods
• Automated reasoning
• Proof assistant
• Proof complexity
• Reasoning system
• Isabelle

Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Linear temporal logic
• Temporal logic
• Symbol
• FO
• Differential topology
• operator

SHARK A Realizable Special Hardware Sieving Device for Factoring 1024-bit Integers Jens Franke1 , Thorsten Kleinjung1 , Christof Paar2 , Jan Pelzl2 , Christine Priplata3 , Colin Stahlke3 1

Source URL: www.hyperelliptic.org

• Integer factorization algorithms
• Mathematics
• Quadratic sieve
• Integer factorization records
• General number field sieve
• TWIRL
• Lattice sieving
• Factor base
• Prime number
• Sieve

Session A1: Multi-Party Computation 1 CCS’17, October 30-November 3, 2017, Dallas, TX, USA Global-Scale Secure Multiparty Computation Xiao Wang

Source URL: acmccs.github.io

fch_finanzplatz-ch-brosch_titel_1.1

Source URL: www.fuw.ch

Design Principles for HFEv- Based Multivariate Signature Schemes Albrecht Petzoldt1 , Ming-Shing Chen2,3 , Bo-Yin Yang2 , Chengdong Tao4 , and Jintai Ding5,6(B) 1

Source URL: precision.moscito.org

• Cryptography
• Algebra
• Multivariate cryptography
• Abstract algebra
• Post-quantum cryptography
• Hidden Field Equations
• Algebraic geometry
• Digital signature
• Polynomial
• Unbalanced Oil and Vinegar
• Wu's method of characteristic set

This PDF is a selection from an out-of-print volume from the National Bureau of Economic Research Volume Title: Innovation Policy and the Economy, Volume 1 Volume Author/Editor: Adam B. Jaffe, Josh Lerner and Scott Stern

Source URL: www.nber.org

• Economy
• Macroeconomics
• Innovation
• Economic growth
• Innovation economics

Poster: A Reputation-Based Resilient P2P Botnet Jie Yin1,2, Xiang Cui1,2, Ke Li3 1 2 Institute of Information Engineering, Chinese Academy of Sciences

Source URL: www.ieee-security.org

• Concurrent computing
• Computer network security
• Multi-agent systems
• Spamming
• Computing
• Cybercrime
• Distributed computing
• Malware
• Botnet
• Peer-to-peer
• Social peer-to-peer processes

Thought For Food Privacy Policy    Who we are    Thought  For  Food  Foundation  (hereinafter  the  ‘Foundation’)  is  a  global  non-profit  organization  dedicated  to  empowering  the  next  g

Source URL: s3-eu-west-1.amazonaws.com

• Terms of service
• Internet privacy
• Law
• Computing
• Data security
• Information privacy
• HTTP cookie
• General Data Protection Regulation
• Privacy policy
• Privacy
• Google Analytics
• Personally identifiable information

Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS)

Source URL: rishabhmit.bitbucket.io

• Metaphysics
• Data types
• Search algorithms
• Mathematics
• Model checking
• Tree
• Information science
• Abstraction
• B-tree
• Breadth-first search
• Reachability
• FO