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

Baris Kasikci Assistant Professor Electrical Engineering and Computer Science University of Michigan 4820 BBB 2260 Hayward Street

Source URL: web.eecs.umich.edu

• Computing
• Technology
• California
• EMC Corporation
• VMware
• Embedded system
• Synopsys
• USENIX Annual Technical Conference
• Debugging
• Intel
• Software Guard Extensions
• Edouard Bugnion

Education Sharif University of Technology, Tehran, Iran BS in Computer Engineering - Software Engineering Grade Point Average: 18.29 out of 20 GPAKasra Edalat Nejad

Source URL: ce.sharif.edu

• Provinces of Iran
• Sharif University of Technology
• Tehran Province
• Nejad
• Mohammad Ghodsi
• Tehran
• SUT

Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University

Source URL: www.cs.purdue.edu

• Mathematical logic
• Theoretical computer science
• Mathematics
• Formal methods
• Boolean algebra
• Temporal logic
• Edsger W. Dijkstra
• Predicate transformer semantics
• Model theory
• Hoare logic
• True quantified Boolean formula
• Linear temporal logic

Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U

Source URL: zhang-sai.github.io

• Software engineering
• Computing
• Computer programming
• Object-oriented programming
• Method
• High-level programming languages
• Functional languages
• Programming languages
• Inheritance
• Method overriding
• Factory
• Polymorphism

Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign.

Source URL: publish.illinois.edu

• Circuit complexity
• NC
• Mathematics
• Theoretical computer science
• Numerical software
• Lemmas
• Numerical linear algebra

Poster: Design of Backdoor on Android Devices Junsung Cho, Geumhwan Cho, Sangwon Hyun and Hyoungshick Kim Department of Computer Science and Engineering, Sungkyunkwan University, Republic of Korea Email: {js.cho, geumhwa

Source URL: www.ieee-security.org

• Computing
• Cyberwarfare
• Computer security
• Cryptography
• Cybercrime
• Computer network security
• Backdoor
• Rootkits
• Google Play
• Android
• Firebase
• Password

Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering

Source URL: zhang-sai.github.io

• Logic
• Mathematical logic
• Non-classical logic
• Markov logic network
• Software testing
• Probabilistic logic
• Software bug
• Code coverage
• Debugging
• Inference
• First-order logic
• Buggy

A Personal View of Average-Case Complexity Russell Impagliazzo Computer Science and Engineering UC, San Diego 9500 Gilman Drive La Jolla, CA

Source URL: www.karlin.mff.cuni.cz

• Computational complexity theory
• Complexity classes
• Analysis of algorithms
• Mathematical optimization
• Structural complexity theory
• P versus NP problem
• NP
• Average-case complexity
• Computational complexity
• Reduction
• Randomized algorithm
• BPP