The SeaHorn Verification Framework? Arie Gurfinkel1 , Temesghen Kahsai2 , Anvesh Komuravelli3 , and Jorge A. Navas4 1 3

Source URL: seahorn.github.io

• Software engineering
• Software
• Computing
• Logic in computer science
• Programming language semantics
• Logic programming
• Compilers
• LLVM
• Abstract interpretation
• Constraint logic programming
• Operational semantics
• Clang

Form SO-ER Page 1 of 3 (RevMailing Address P.O. BoxRaleigh, NCWeb: https://lobby.ncsbe.gov/lobbying

Source URL: lobby.ncsbe.gov

• Notary
• Law
• Common law
• Notary public
• ENotary
• Solicitation
• Lobbying in the United States

1 Contents Introduction ............................................................................................................................................ 3 IT Support ........................................

Source URL: superfast-it.com

• Cybercrime
• Computer security
• Cyberwarfare
• Security engineering
• Crime
• Computer network security
• National security
• Cyberattack
• Phishing
• Threat
• Cyber insurance

NetChain: Scale-Free Sub-RTT Coordination Xin Jin1 , Xiaozhou Li2 , Haoyu Zhang3 , Nate Foster2,4 , Jeongkeun Lee2 , Robert Soul´e2,5 , Changhoon Kim2 , Ion Stoica6 1 Johns Hopkins University, 2 Barefoot Networks, 3 Pr

Source URL: www.cs.jhu.edu

• Information and communications technology
• Computing
• Ethernet
• Internet architecture
• Computer network
• Telecommunications engineering
• Network switch
• Low latency
• Routing
• Node
• Replication
• Information Age

Practical Fault Injection Attacks on SPHINCS Aymeric Genêt1,2 , Matthias J. Kannwischer3 , Hervé Pelletier2 , and Andrew McLauchlan2 ? 1 3

Source URL: kannwischer.eu

• Cryptography
• Public-key cryptography
• Post-quantum cryptography
• Hash-based cryptography
• Hashing
• Merkle signature scheme
• Digital signature
• Merkle tree
• Cryptographic hash function
• RSA
• Hash function
• Quantum digital signature

BDGS: A Scalable Big Data Generator Suite in Big Data Benchmarking Zijian Ming1,2 , Chunjie Luo1 , Wanling Gao1,2 , Rui Han1,3 , Qiang Yang1 , Lei Wang1 , and Jianfeng Zhan?1 arXiv:1401.5465v3 [cs.DB] 27 Feb 2014

Source URL: arxiv.org

• Computing
• Data management
• Data
• Information
• Big data
• Synthetic data
• Benchmark
• NoSQL
• Industrial big data
• Extract
• transform
• load

KADAGITI DAMONA TI AGBOTOS A MANGIKOREO ITI DAYTOY NGA APLIKASION No sika ket 1) agparehistro nga agbotos iti umuna a gundaway iti Estado ti Hawaii; 2) ikoreom daytoy nga aplikasion; ken 3) awananka iti Lisensia nga Agma

Source URL: elections.hawaii.gov

1. Introduction 2. Executive summary 3. Problem 4. Solution 5. Product architecture and timeline for development 6. Team development

Source URL: icorating.com

• Q
• Virtual economy
• Cryptocurrencies

JDart: A Dynamic Symbolic Analysis Framework? Kasper Luckow1 , Marko Dimjašević2 , Dimitra Giannakopoulou3 , Falk Howar4 , Malte Isberner5 , Temesghen Kahsai1,3 , Zvonimir Rakamarić2 , and Vishwanath Raman6 1

Source URL: www.falkhowar.de

• Theoretical computer science
• Software testing
• Software engineering
• Computing
• Constraint programming
• Automated theorem proving
• Concolic testing
• Symbolic execution
• Satisfiability modulo theories
• Java Pathfinder
• Solver
• KeY

Decision Procedures for Flat Array Properties F. Alberti1,3 , S. Ghilardi2 , N. Sharygina1 1 University 2 3

Source URL: smt2014.it.uu.se

• Array programming
• Array data type
• Array
• Computing
• Computer programming
• Software engineering