1![Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington](https://www.pdfsearch.io/img/b115547be0a2cfcf1226ca5a66e9ab6c.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-09-27 23:32:05
|
---|
2![FPGAs as Streaming MIMD Machines for Data Analy9cs James Thomas, Matei Zaharia, Pat Hanrahan
CPU/GPU Control Flow Divergence FPGAs as Streaming MIMD Machines for Data Analy9cs James Thomas, Matei Zaharia, Pat Hanrahan
CPU/GPU Control Flow Divergence](https://www.pdfsearch.io/img/de215696b9a0da6ee9df6f865afb572d.jpg) | Add to Reading ListSource URL: platformlab.stanford.eduLanguage: English - Date: 2018-06-18 15:29:45
|
---|
3![Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ † Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ †](https://www.pdfsearch.io/img/cd111da2969562ba204a794452c68221.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
4![Static Control-Flow Analysis of User-Driven Callbacks in Android Applications Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev Ohio State University Email: {yangs,yan,wuhaow,wang10,rountev}@cse.ohio-st Static Control-Flow Analysis of User-Driven Callbacks in Android Applications Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev Ohio State University Email: {yangs,yan,wuhaow,wang10,rountev}@cse.ohio-st](https://www.pdfsearch.io/img/6d8fb323516abd630206c8c530303f31.jpg) | Add to Reading ListSource URL: dacongy.github.ioLanguage: English - Date: 2017-06-27 01:04:15
|
---|
5![Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang](https://www.pdfsearch.io/img/52151604842f77fff04be8da529c23f8.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-10-10 04:10:19
|
---|
6![Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ † Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ †](https://www.pdfsearch.io/img/91a7d7e08e1ebc0c92168b7d99fd1d09.jpg) | Add to Reading ListSource URL: cs.nyu.eduLanguage: English - Date: 2014-12-14 14:47:16
|
---|
7![Cryptographically Secure Information Flow Control on Key-Value Stores Lucas Waye Pablo Buiras Cryptographically Secure Information Flow Control on Key-Value Stores Lucas Waye Pablo Buiras](https://www.pdfsearch.io/img/157955babe3cc24354afca63d5b944c4.jpg) | Add to Reading ListSource URL: people.seas.harvard.eduLanguage: English - Date: 2017-10-26 12:58:08
|
---|
8![2013 IEEE Symposium on Security and Privacy Practical Control Flow Integrity & Randomization for Binary Executables Chao Zhang1 , Tao Wei1,2∗ , Zhaofeng Chen1 , Lei Duan1 , L´aszl´o Szekeres2,3+ , Stephen McCamant2, 2013 IEEE Symposium on Security and Privacy Practical Control Flow Integrity & Randomization for Binary Executables Chao Zhang1 , Tao Wei1,2∗ , Zhaofeng Chen1 , Lei Duan1 , L´aszl´o Szekeres2,3+ , Stephen McCamant2,](https://www.pdfsearch.io/img/a266addf6aab767a88947b0de37b06ba.jpg) | Add to Reading ListSource URL: seclab.cs.sunysb.eduLanguage: English - Date: 2016-02-03 15:00:11
|
---|
9![Valbart RSBV Presentation Flow Control Operations - Valbart Andrea Zilio Product Manager Valbart RSBV Presentation Flow Control Operations - Valbart Andrea Zilio Product Manager](https://www.pdfsearch.io/img/5bd7db119ee15db36125683893acb920.jpg) | Add to Reading ListSource URL: automationinstrumentationsummit.files.wordpress.comLanguage: English - Date: 2017-09-05 05:07:12
|
---|
10![IEEE TRANSACTIONS ON MAGNETICS, VOL. 39, NO. 5, SEPTEMBERReduction of Flow-Induced Suspension Vibrations in a Hard Disk Drive by Dual-Stage Suspension Control IEEE TRANSACTIONS ON MAGNETICS, VOL. 39, NO. 5, SEPTEMBERReduction of Flow-Induced Suspension Vibrations in a Hard Disk Drive by Dual-Stage Suspension Control](https://www.pdfsearch.io/img/466df5fa239b6fe1d897781effadd4e7.jpg) | Add to Reading ListSource URL: maeresearch.ucsd.eduLanguage: English - Date: 2009-11-25 02:35:00
|
---|