1![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. 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.](https://www.pdfsearch.io/img/7594e2c2832ef1b394775d4786d35e18.jpg) | Add to Reading ListSource URL: publish.illinois.eduLanguage: English - Date: 2016-01-22 19:21:52
|
---|
2![Approximate Partial Order Reduction? Chuchu Fan, Zhenqi Huang, and Sayan Mitra University of Illinois at Urbana-Champaign, ECE Department {cfan10, zhuang25, mitras}@illinois.edu Abstract. We present a new partial order Approximate Partial Order Reduction? Chuchu Fan, Zhenqi Huang, and Sayan Mitra University of Illinois at Urbana-Champaign, ECE Department {cfan10, zhuang25, mitras}@illinois.edu Abstract. We present a new partial order](https://www.pdfsearch.io/img/80f58b4dc8fde38aceb8930926c0aeac.jpg) | Add to Reading ListSource URL: mitras.ece.illinois.eduLanguage: English - Date: 2018-09-21 21:52:10
|
---|
3![Skill Squatting Attacks on Amazon Alexa Deepak Kumar Riccardo Paccagnella Paul Murley Eric Hennenfent Joshua Mason Adam Bates Michael Bailey University of Illinois Urbana-Champaign Abstract Skill Squatting Attacks on Amazon Alexa Deepak Kumar Riccardo Paccagnella Paul Murley Eric Hennenfent Joshua Mason Adam Bates Michael Bailey University of Illinois Urbana-Champaign Abstract](https://www.pdfsearch.io/img/abd6208cf3b1a4a02fa083f9dc9f5401.jpg) | Add to Reading ListSource URL: kumarde.comLanguage: English - Date: 2018-08-16 10:08:06
|
---|
4![Madhusudan Parthasarathy Curriculum Vitae Department of Computer Science Univ. of Illinois at Urbana-Champaign Madhusudan Parthasarathy Curriculum Vitae Department of Computer Science Univ. of Illinois at Urbana-Champaign](https://www.pdfsearch.io/img/6bd2b3952a6bdd0840d95de1dd34f8f8.jpg) | Add to Reading ListSource URL: madhu.cs.illinois.eduLanguage: English - Date: 2018-01-11 14:37:00
|
---|
5![Darko Marinov Professor Department of Computer Science University of Illinois at Urbana-Champaign http://mir.cs.illinois.edu/marinov Darko Marinov Professor Department of Computer Science University of Illinois at Urbana-Champaign http://mir.cs.illinois.edu/marinov](https://www.pdfsearch.io/img/8db0ae723ea38a8d0ed3014099027a89.jpg) | Add to Reading ListSource URL: mir.cs.illinois.eduLanguage: English - Date: 2017-12-20 20:53:41
|
---|
6![Path Exploration during Code Navigation by Kaitlin Duck Sherwood B.Sc., University of Illinois at Urbana-Champaign, 1984 M.Sc., University of Illinois at Urbana-Champaign, 1996 Path Exploration during Code Navigation by Kaitlin Duck Sherwood B.Sc., University of Illinois at Urbana-Champaign, 1984 M.Sc., University of Illinois at Urbana-Champaign, 1996](https://www.pdfsearch.io/img/b9e39f0b564e62ba8bfb0257bdb8ea58.jpg) | Add to Reading ListSource URL: webfoot.comLanguage: English - Date: 2008-08-20 20:37:11
|
---|
7![Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts Yi Zhou Deepak Kumar Surya Bakshi Joshua Mason Andrew Miller Michael Bailey University of Illinois, Urbana-Champaign Abstract Interacting with Ethereum smart Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts Yi Zhou Deepak Kumar Surya Bakshi Joshua Mason Andrew Miller Michael Bailey University of Illinois, Urbana-Champaign Abstract Interacting with Ethereum smart](https://www.pdfsearch.io/img/e10b98374921e436a7e29008f8e5efc4.jpg) | Add to Reading ListSource URL: kumarde.comLanguage: English - Date: 2018-08-16 10:08:06
|
---|
8![Ritwika Ghosh phone : (+email : Profile : I am a first year graduate student in Computer Science at the University of Illinois, Urbana-Champaign, interested in formal methods, and appl Ritwika Ghosh phone : (+email : Profile : I am a first year graduate student in Computer Science at the University of Illinois, Urbana-Champaign, interested in formal methods, and appl](https://www.pdfsearch.io/img/8bac925884c1d33787b74254db8819f9.jpg) | Add to Reading ListSource URL: web.engr.illinois.eduLanguage: English - Date: 2014-02-28 12:52:15
|
---|
9![NO Need to Worry about Adversarial Examples in Object Detection in Autonomous Vehicles Jiajun Lu∗, Hussein Sibai∗, Evan Fabry, David Forsyth University of Illinois at Urbana Champaign {jlu23, sibai2, efabry2, daf}@il NO Need to Worry about Adversarial Examples in Object Detection in Autonomous Vehicles Jiajun Lu∗, Hussein Sibai∗, Evan Fabry, David Forsyth University of Illinois at Urbana Champaign {jlu23, sibai2, efabry2, daf}@il](https://www.pdfsearch.io/img/37843c9bd7213e55c2835bce9c820688.jpg) | Add to Reading ListSource URL: negative.visionLanguage: English - Date: 2017-10-09 09:03:00
|
---|
10![Remy Goldschmidt Education 2014–2018 Bachelor of Science in Computer Science, University of Illinois at Urbana-Champaign. Work Experience Summer 2017 Software Engineering Intern, Awake Networks. Remy Goldschmidt Education 2014–2018 Bachelor of Science in Computer Science, University of Illinois at Urbana-Champaign. Work Experience Summer 2017 Software Engineering Intern, Awake Networks.](https://www.pdfsearch.io/img/d07046fe73342bc07714e41a6990338d.jpg) | Add to Reading ListSource URL: taktoa.meLanguage: English - Date: 2018-03-28 11:19:15
|
---|