|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 23 | Dominique Devriese, Frank Piessens |
Noninterference through Secure Multi-execution.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
Secure Multi-Execution, Information Flow, Noninterference |
| 19 | Susmit Biswas, Diana Franklin, Alan Savage, Ryan Dixon, Timothy Sherwood, Frederic T. Chong |
Multi-execution: multicore caching for data-similar executions. |
ISCA |
2009 |
DBLP DOI BibTeX RDF |
data similar execution, multicore cache design, cmp |
| 13 | Rakefet Kol, Ran Ginosar |
Kin: A High Performance Asynchronous Processor Architecture. |
International Conference on Supercomputing |
1998 |
DBLP DOI BibTeX RDF |
asynchronous architecture, avid execution, dynamic instance tag, multi-execution, pruning |
| 9 | McKenna McCall, Abhishek Bichhawat, Limin Jia 0001 |
Tainted Secure Multi-Execution to Restrict Attacker Influence. |
CCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 9 | Evgenii Moiseenko, Michalis Kokologiannakis, Viktor Vafeiadis |
Model checking for a multi-execution memory model. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
| 9 | Maximilian Algehed, Cormac Flanagan |
Multi-Execution Lattices Fast and Slow. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 9 | Tobias F. Pfeffer, Sabine Glesner |
Timing-Sensitive Synchronization for Efficient Secure Multi-Execution. |
CCSW |
2019 |
DBLP DOI BibTeX RDF |
|
| 9 | Tobias F. Pfeffer, Thomas Göthel, Sabine Glesner |
Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution. |
CODASPY |
2019 |
DBLP DOI BibTeX RDF |
|
| 9 | Dhiman Chakraborty 0001, Christian Hammer 0001, Sven Bugiel |
Secure multi-execution in Android. |
SAC |
2019 |
DBLP DOI BibTeX RDF |
|
| 9 | Maximilian Algehed, Alejandro Russo, Cormac Flanagan |
Optimising Faceted Secure Multi-Execution. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
| 9 | Tobias F. Pfeffer, Thomas Göthel, Sabine Glesner |
Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. |
QRS |
2019 |
DBLP DOI BibTeX RDF |
|
| 9 | Thomas Schmitz 0001, Maximilian Algehed, Cormac Flanagan, Alejandro Russo |
Faceted Secure Multi Execution. |
CCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 9 | Willard Rafnsson, Andrei Sabelfeld |
Secure multi-execution: Fine-grained, declassification-aware, and transparent. |
J. Comput. Secur. |
2016 |
DBLP DOI BibTeX RDF |
|
| 9 | Iulia Bolosteanu, Deepak Garg 0001 |
Asymmetric Secure Multi-execution with Declassification. |
POST |
2016 |
DBLP DOI BibTeX RDF |
|
| 9 | Nataliia Bielova, Tamara Rezk |
Spot the Difference: Secure Multi-execution and Multiple Facets. |
ESORICS (1) |
2016 |
DBLP DOI BibTeX RDF |
|
| 9 | Willem De Groef, Dominique Devriese, Nick Nikiforakis, Frank Piessens |
Secure multi-execution of web scripts: Theory and practice. |
J. Comput. Secur. |
2014 |
DBLP DOI BibTeX RDF |
|
| 9 | Willard Rafnsson, Andrei Sabelfeld |
Secure Multi-execution: Fine-Grained, Declassification-Aware, and Transparent. |
CSF |
2013 |
DBLP DOI BibTeX RDF |
|
| 9 | Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas |
Secure Multi-Execution through Static Program Transformation. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 9 | Mauro Jaskelioff, Alejandro Russo |
Secure Multi-execution in Haskell. |
Ershov Memorial Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 9 | Karen L. Karavanic, Barton P. Miller |
A Framework for Multi-Execution Performance Tuning. |
Scalable Comput. Pract. Exp. |
2001 |
DBLP BibTeX RDF |
|
| 6 | Ran Canetti, Eyal Kushilevitz, Yehuda Lindell |
On the Limitations of Universally Composable Two-Party Computation without Set-up Assumptions. |
EUROCRYPT |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license