The Complexity of Zero Knowledge Salil Vadhan∗ School of Engineering and Applied Sciences Harvard University Cambridge, MA 02138

Source URL: people.seas.harvard.edu

• Cryptography
• Computational complexity theory
• Complexity classes
• Interactive proof system
• Zero-knowledge proof
• NP
• Probabilistically checkable proof
• IP
• Soundness
• Commitment scheme
• NEXPTIME
• P versus NP problem

Host Family Program Carnegie Mellon University-Africa is proud to announce the launch of a Host Family Program for International Students in our Kigali Campus. Host family is a vital part of a cultural exchange, immersin

Source URL: www.africa.engineering.cmu.edu

• Student exchange
• Education
• Culture
• Human behavior
• Carnegie Mellon University
• Carnegie Mellon Silicon Valley
• International student
• Host family
• Kigali

Using GORE method for Requirement Engineering of Planning & Scheduling Javier Martnez Silva Department of Mechatronics Engineering University of S˜ao Paulo, S˜ao Paulo, Brazil, Professor Morais, 2231

Source URL: icaps16.icaps-conference.org

• Software engineering
• Computing
• Software requirements
• Modeling languages
• Systems engineering
• Systems analysis
• Enterprise modelling
• KAOS
• Planning Domain Definition Language
• I*
• Diagram
• Use case

Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign

Source URL: perso.univ-perp.fr

• Functions and mappings
• Mathematical analysis
• Mathematics
• Computer arithmetic
• Limit of a function
• Abstract interpretation
• Unit in the last place
• Exponentiation
• Integral
• Lambda calculus
• Quantifier
• Combinatory logic

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Computing
• Software engineering
• Computer programming
• Carnegie Mellon University
• Carnegie Mellon Silicon Valley
• Abstract interpretation
• Mellon
• Scala
• Refinement

Leveraging Gate-Level Properties to Identify Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer Science and Engineering, University of California, San Di

Source URL: smeiklej.com

Is Interaction Necessary for Distributed Private Learning? Adam Smith∗ , Abhradeep Thakurta† , Jalaj Upadhyay∗ of Electrical Engineering and Computer Science, Pennsylvania State University, Email: {asmith, jalaj}@p

Source URL: www.ieee-security.org

Learning gem5 – Part II Modifying and Extending gem5 Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/

Source URL: learning.gem5.org

• Computer programming
• Software engineering
• Computing
• Cross-platform software
• High-level programming languages
• Object-oriented programming languages
• Build automation
• Compiling tools
• Python
• SCons
• C++
• Comment

Imperial College London Department of Electrical and Electronic Engineering MEng Individual Project Project Title:

Source URL: www.doc.ic.ac.uk

• Computer network security
• Cyberwarfare
• Computing
• Security engineering
• Honeypot
• Computer security
• Virtual machine
• VMware
• Internet privacy
• Honeyd
• Client honeypot

Threat modeling, incident command, & DDoS mitigation Maarten Van Horenbeeck Vp of Security Engineering, Fastly Dr. Jose Nazario

Source URL: www.fastly.com

• Computer security
• Computing
• Cyberwarfare
• Computer network security
• Security engineering
• Crime prevention
• Cryptography
• National security
• Threat model
• Threat
• STRIDE
• Information security