Federal Register / Vol. 82, NoTuesday, August 22, Notices unclassified, contains business information submitted to the Department of State by the

Source URL: 34.232.160.87

• Essential Air Service
• 106th United States Congress
• African Growth and Opportunity Act
• Federal Register
• Government
• United States

HACKERONE CHALLENGE CUSTOMER TESTIMONIALS ackerOne Challenge customers—from the U.S. Department of Defense and the U.S. Air Force, to GitHub

Source URL: www.hackerone.com

Challenges with Assessing the Impact of NFS Advances on the Security of Pairing-based Cryptography Alfred Menezes1 , Palash Sarkar2 , and Shashank Singh3 1 Department of Combinatorics & Optimization, University of Water

Source URL: eprint.iacr.org

• Algebra
• Mathematics
• Polynomials
• Computer algebra
• Integer factorization algorithms
• Finite fields
• Special number field sieve
• General number field sieve
• Irreducible polynomial
• Discrete logarithm
• Factorization
• Resultant

dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis to

Source URL: scungao.github.io

• Theoretical computer science
• Mathematics
• Dynamical systems
• Systems science
• Control theory
• Hybrid system
• Systems theory
• Satisfiability modulo theories

Shehar Bano Department of Computer Science, University College London, Gower Street WC1E 6BT, London https://sheharbano.com Employment History. • University College London, Dept. of Computer Science

Source URL: sheharbano.com

• Computing
• California
• Information technology
• Steven Murdoch
• Vern Paxson
• Blockchain
• Association for Computing Machinery
• International Computer Science Institute
• Paxson
• Jon Crowcroft

Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK

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

• Mathematical analysis
• Temporal logic
• Mathematics
• Computation tree logic
• Logic in computer science
• Determinacy
• Distribution
• Linear temporal logic
• Universal representation

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs

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

• Parallel computing
• Application programming interfaces
• Computer programming
• Message Passing Interface
• Computing
• Edsger W. Dijkstra
• Deadlock
• NC
• Software engineering
• Model checking

CURRICULUM VITAE CHARITY KERSEY BUTCHER Associate Professor of Political Science July 3, 2018 Office: Department of Political Science

Source URL: ksuweb.kennesaw.edu

• Cobb County
• Georgia
• Kennesaw State University
• Kennesaw
• Georgia
• Marietta
• Georgia
• Peace and conflict studies
• Geography of Georgia U.S. state)

Federal Register / Vol. 76, NoWednesday, July 6, Rules and Regulations DEPARTMENT OF COMMERCE International Trade Administration 19 CFR Part 351 [Docket No–1331–02] RIN 0625–AA84

Source URL: www.gpo.gov

Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu

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

• Software engineering
• Computer programming
• Theoretical computer science
• Automated theorem proving
• Lisp
• ACL2
• Formal methods
• Logic in computer science
• Robert S. Boyer