via crossref
|
HerQules: securing programs via hardware-enforced message queues
Daming D. Chen,
Wen Shih Lim,
Mohammad Bakhshalipour,
Phillip B. Gibbons,
James C. Hoe,
Bryan Parno
2021
Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
unpublished
doi:10.1145/3445814.3446736
|
|
via grobid
|
Mitigating Memory-Safety Bugs with Efficient Out-of-Process Integrity Checking
Daming Chen
2021
doi:10.1184/r1/16920076.v1
|
web.archive.org
[PDF]
|
via crossref
|
Building a portable deeply-nested implicit information flow tracking
Leandro S. de Araújo,
Leandro A. J. Marzulo,
Tiago A. O. Alves,
Felipe M. G. França,
Israel Koren,
Sandip Kundu
2020
ACM International Conference on Computing Frontiers
doi:10.1145/3387902.3392614
dblp:conf/cf/AraujoMAFKK20
|
|
via crossref
|
The Guardian Council
Sam Ainsworth,
Timothy M. Jones
2020
International Conference on Architectural Support for Programming Languages and Operating Systems
doi:10.1145/3373376.3378463
dblp:conf/asplos/Ainsworth020
|
|
via crossref
|
LATCH
Daniel Townley,
Khaled N. Khasawneh,
Dmitry Ponomarev,
Nael Abu-Ghazaleh,
Lei Yu
2019
Annual IEEE/ACM International Symposium on Microarchitecture
doi:10.1145/3352460.3358327
dblp:conf/micro/TownleyKPA019
|
|
via crossref
|
DHOOM
Neetu Jindal,
Sandeep Chandran,
Preeti Ranjan Panda,
Sanjiva Prasad,
Abhay Mitra,
Kunal Singhal,
Shubham Gupta,
Shikhar Tuli
2019
Design Automation Conference
doi:10.1145/3316781.3317799
dblp:conf/dac/JindalCPPMSGT19
|
|
via crossref
|
Architectural Support for Containment-based Security
Hansen Zhang,
Soumyadeep Ghosh,
Jordan Fix,
Sotiris Apostolakis,
Stephen R. Beard,
Nayana P. Nagendra,
Taewook Oh,
David I. August
2019
International Conference on Architectural Support for Programming Languages and Operating Systems
doi:10.1145/3297858.3304020
dblp:conf/asplos/ZhangGFABNOA19
|
|
via fuzzy
|
A small and adaptive coprocessor for information flow tracking in ARM
SoCs
[article]
Muhammad Abdul Wahab,
Pascal Cotret,
Mounir Nasr Allah,
Guillaume
Hiet,
Arnab Kumar Biswas,
Vianney Lapôtre,
Guy Gogniat
2018
pre-print
version:v1
arXiv:1812.01541v1
|
web.archive.org
[PDF]
|
via fuzzy
|
Towards a hardware-assisted information flow tracking ecosystem for ARM
processors
[article]
Muhammad Abdul Wahab,
Pascal Cotret,
Mounir Nasr Allah,
Guillaume
Hiet,
Vianney Lapotre,
Guy Gogniat
2018
pre-print
version:v1
arXiv:1811.05465v1
|
web.archive.org
[PDF]
|
via fuzzy
|
A small and adaptive coprocessor for information flow tracking in ARM SoCs
Muhammad Abdul Wahab,
Pascal Cotret,
Mounir Nasr Allah,
Guillaume Hiet,
Arnab Kumar Biswas,
Vianney LapOtre,
Guy Gogniat
2018
International Conference on Reconfigurable Computing and FPGAs
doi:10.1109/reconfig.2018.8641695
dblp:conf/reconfig/WahabCAHBLG18
|
web.archive.org
[PDF]
|
via crossref
|
Time and Sequence Integrated Runtime Anomaly Detection for Embedded Systems
Sixing Lu,
Roman Lysecky
2017
ACM Transactions on Embedded Computing Systems
doi:10.1145/3122785
|
|
via fuzzy
|
ARMHEx: A hardware extension for DIFT on ARM-based SoCs
Muhammad A. Wahab,
Pascal Cotret,
Mounir N. Allah,
Guillaume Hiet,
Vianney Lapotre,
Guy Gogniat
2017
International Conference on Field-Programmable Logic and Applications
doi:10.23919/fpl.2017.8056767
dblp:conf/fpl/WahabCAHLG17
|
web.archive.org
[PDF]
|
via crossref
|
Efficient Security Monitoring with the Core Debug Interface in an Embedded Processor
Jinyong Lee,
Ingoo Heo,
Yongje Lee,
Yunheung Paek
2016
ACM Transactions on Design Automation of Electronic Systems
doi:10.1145/2907611
|
|
via crossref
|
A verified information-flow architecture
Arthur Azevedo de Amorim,
Nathan Collins,
André DeHon,
Delphine Demange,
Cătălin Hriţcu,
David Pichardie,
Benjamin C. Pierce,
Randy Pollack
(+ more)
2016
Journal of Computer Security
doi:10.3233/jcs-15784
|
web.archive.org
[PDF]
|
via fuzzy
|
Towards a hardware-assisted information flow tracking ecosystem for ARM processors
Muhammad Abdul Wahab,
Pascal Cotret,
Mounir Nasr Allah,
Guillaume Hiet,
Vianney Lapotre,
Guy Gogniat
2016
International Conference on Field-Programmable Logic and Applications
doi:10.1109/fpl.2016.7577396
dblp:conf/fpl/WahabCAHLG16
|
web.archive.org
[PDF]
|
via crossref
|
The DragonBeam Framework
Man-Ki Yoon,
Mihai Christodorescu,
Lui Sha,
Sibin Mohan
2016
Annual Haifa Experimental Systems Conference
doi:10.1145/2928275.2928290
dblp:conf/systor/YoonCSM16
|
|
via grobid
|
A Verified Information-Flow Architecture
[article]
Arthur Azevedo de Amorim,
Nathan Collins,
André DeHon,
Delphine
Demange,
Catalin Hritcu,
David Pichardie,
Benjamin C. Pierce,
Randy Pollack,
Andrew Tolmach
2016
pre-print
version:v2
arXiv:1509.06503v2
|
web.archive.org
[PDF]
|
via crossref
|
Memory heat map
Man-Ki Yoon,
Lui Sha,
Sibin Mohan,
Jaesik Choi
2015
Design Automation Conference
doi:10.1145/2744769.2744869
dblp:conf/dac/YoonSMC15
|
web.archive.org
[PDF]
|
via fuzzy
|
Runtime Detection of a Bandwidth Denial Attack from a Rogue Network-on-Chip
Rajesh JS,
Dean Michael Ancajas,
Koushik Chakraborty,
Sanghamitra Roy
2015
ACM/IEEE International Symposium on Networks-on-Chips
doi:10.1145/2786572.2786580
dblp:conf/nocs/SACR15
|
web.archive.org
[PDF]
|
via fuzzy
|
Learning Execution Contexts from System Call Distributions for Intrusion
Detection in Embedded Systems
[article]
Man-Ki Yoon,
Sibin Mohan,
Jaesik Choi,
Mihai Christodorescu,
Lui
Sha
2015
pre-print
version:v2
arXiv:1501.05963v2
|
web.archive.org
[PDF]
|
via crossref
|
RapidPath
Chao Wang,
Xi Li,
Qi Guo,
Xuehai Zhou
2015
Symposium on Field Programmable Gate Arrays
doi:10.1145/2684746.2689135
dblp:conf/fpga/WangLGZ15
|
|
via crossref
|
Implementing an Application-Specific Instruction-Set Processor for System-Level Dynamic Program Analysis Engines
Ingoo Heo,
Minsu Kim,
Yongje Lee,
Changho Choi,
Jinyong Lee,
Brent Byunghoon Kang,
Yunheung Paek
2015
ACM Transactions on Design Automation of Electronic Systems
doi:10.1145/2746238
|
web.archive.org
[PDF]
|
via crossref
|
PUMP
Udit Dhawan,
Nikos Vasilakis,
Raphael Rubin,
Silviu Chiricescu,
Jonathan M. Smith,
Thomas F. Knight,
Benjamin C. Pierce,
André DeHon
2014
International Symposium on Computer Architecture
doi:10.1145/2611765.2611773
dblp:conf/isca/DhawanVRCSKPD14
|
web.archive.org
[PDF]
|
via fuzzy
|
FADE: A programmable filtering accelerator for instruction-grain monitoring
Sotiria Fytraki,
Evangelos Vlachos,
Onur Kocberber,
Babak Falsafi,
Boris Grot
2014
International Symposium on High-Performance Computer Architecture
doi:10.1109/hpca.2014.6835922
dblp:conf/hpca/FytrakiVKFG14
|
web.archive.org
[PDF]
|
via fuzzy
|
SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems
Man-Ki Yoon,
S. Mohan,
Jaesik Choi,
Jung-Eun Kim,
Lui Sha
2013
IEEE Real Time Technology and Applications Symposium
doi:10.1109/rtas.2013.6531076
dblp:conf/rtas/YoonMCKS13
|
web.archive.org
[PDF]
|
via fuzzy
|
S3A
Sibin Mohan,
Stanley Bak,
Emiliano Betti,
Heechul Yun,
Lui Sha,
Marco Caccamo
2013
International Conference on High Confidence Networked Systems
doi:10.1145/2461446.2461456
dblp:conf/hicons/MohanBBYSC13
|
web.archive.org
[PDF]
|
via crossref
|
MP-Tomasulo
Chao Wang,
Xi Li,
Junneng Zhang,
Xuehai Zhou,
Xiaoning Nie
2013
ACM Transactions on Architecture and Code Optimization (TACO)
doi:10.1145/2459316.2459320
|
web.archive.org
[PDF]
|
via fuzzy
|
S3A: Secure System Simplex Architecture for Enhanced Security of
Cyber-Physical Systems
[article]
Sibin Mohan,
Stanley Bak,
Emiliano Betti,
Heechul Yun,
Lui Sha,
Marco
Caccamo
2012
pre-print
version:v1
arXiv:1202.5722v1
|
web.archive.org
[PDF]
|
via grobid
|
High-performance parallel accelerator for flexible and efficient run-time monitoring
Daniel Y. Deng,
G. Edward Suh
2012
Dependable Systems and Networks
doi:10.1109/dsn.2012.6263925
dblp:conf/dsn/DengS12
|
web.archive.org
[PDF]
|
via fuzzy
|
Worst-case execution time analysis for parallel run-time monitoring
Daniel Lo,
G. Edward Suh
2012
Design Automation Conference
doi:10.1145/2228360.2228435
dblp:conf/dac/LoS12
|
web.archive.org
[PDF]
|