Computer engineering

Results: 53783



#Item
1

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

Add to Reading List

Source URL: smeiklej.com

Language: English - Date: 2018-10-23 14:58:02
    2

    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

    Add to Reading List

    Source URL: www.ieee-security.org

    Language: English - Date: 2017-04-03 15:58:45
      3Computing / Technology / California / EMC Corporation / VMware / Embedded system / Synopsys / USENIX Annual Technical Conference / Debugging / Intel / Software Guard Extensions / Edouard Bugnion

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

      Add to Reading List

      Source URL: web.eecs.umich.edu

      Language: English - Date: 2018-10-23 14:59:27
      4Provinces of Iran / Sharif University of Technology / Tehran Province / Nejad / Mohammad Ghodsi / Tehran / SUT

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

      Add to Reading List

      Source URL: ce.sharif.edu

      Language: English - Date: 2018-07-11 05:37:17
      5Mathematical 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

      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

      Add to Reading List

      Source URL: www.cs.purdue.edu

      Language: English - Date: 2016-07-15 23:00:36
      6Software engineering / Computing / Computer programming / Object-oriented programming / Method / High-level programming languages / Functional languages / Programming languages / Inheritance / Method overriding / Factory / Polymorphism

      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

      Add to Reading List

      Source URL: zhang-sai.github.io

      Language: English - Date: 2015-05-05 00:58:34
      7Circuit complexity / NC / Mathematics / Theoretical computer science / Numerical software / Lemmas / Numerical linear algebra

      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.

      Add to Reading List

      Source URL: publish.illinois.edu

      Language: English - Date: 2016-01-22 19:21:52
      8Computing / Cyberwarfare / Computer security / Cryptography / Cybercrime / Computer network security / Backdoor / Rootkits / Google Play / Android / Firebase / Password

      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

      Add to Reading List

      Source URL: www.ieee-security.org

      Language: English - Date: 2017-05-13 08:11:56
      9Logic / Mathematical logic / Non-classical logic / Markov logic network / Software testing / Probabilistic logic / Software bug / Code coverage / Debugging / Inference / First-order logic / Buggy

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

      Add to Reading List

      Source URL: zhang-sai.github.io

      Language: English - Date: 2015-05-05 00:58:34
      10Computational 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

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

      Add to Reading List

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

      Language: English - Date: 2011-12-13 09:31:41
      UPDATE