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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Security and Privacy ![In: 31st IEEE Symposium on Security and Privacy, SP 2010, 16-19 May 2010, Berleley/Oakland, California, USA, pp. 109-124, 2010, IEEE Computer Society, 978-0-7695-4035-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 36th International Symposium on Computer Architecture (ISCA 2009), June 20-24, 2009, Austin, TX, USA, pp. 164-173, 2009, ACM, 978-1-60558-526-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
data similar execution, multicore cache design, cmp |
13 | Rakefet Kol, Ran Ginosar |
Kin: A High Performance Asynchronous Processor Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 12th international conference on Supercomputing, ICS 1998, Melbourne, Australia, July 13-17, 1998, pp. 433-440, 1998, ACM, 0-89791-998-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023, pp. 1732-1745, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Evgenii Moiseenko, Michalis Kokologiannakis, Viktor Vafeiadis |
Model checking for a multi-execution memory model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(OOPSLA2), pp. 758-785, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
9 | Maximilian Algehed, Cormac Flanagan |
Multi-Execution Lattices Fast and Slow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.13667, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
9 | Tobias F. Pfeffer, Sabine Glesner |
Timing-Sensitive Synchronization for Efficient Secure Multi-Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCSW ![In: Proceedings of the 2019 ACM SIGSAC Conference on Cloud Computing Security Workshop, CCSW@CCS 2019, London, UK, November 11, 2019., pp. 153-164, 2019, ACM, 978-1-4503-6826-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODASPY ![In: Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy, CODASPY 2019, Richardson, TX, USA, March 25-27, 2019, pp. 197-208, 2019, ACM, 978-1-4503-6099-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
9 | Dhiman Chakraborty 0001, Christian Hammer 0001, Sven Bugiel |
Secure multi-execution in Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019, pp. 1934-1943, 2019, ACM, 978-1-4503-5933-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
9 | Maximilian Algehed, Alejandro Russo, Cormac Flanagan |
Optimising Faceted Secure Multi-Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019, pp. 1-16, 2019, IEEE, 978-1-7281-1407-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
9 | Tobias F. Pfeffer, Thomas Göthel, Sabine Glesner |
Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019, Sofia, Bulgaria, July 22-26, 2019, pp. 318-325, 2019, IEEE, 978-1-7281-3927-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
9 | Thomas Schmitz 0001, Maximilian Algehed, Cormac Flanagan, Alejandro Russo |
Faceted Secure Multi Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 1617-1634, 2018, ACM, 978-1-4503-5693-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
9 | Willard Rafnsson, Andrei Sabelfeld |
Secure multi-execution: Fine-grained, declassification-aware, and transparent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 24(1), pp. 39-90, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
9 | Iulia Bolosteanu, Deepak Garg 0001 |
Asymmetric Secure Multi-execution with Declassification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 24-45, 2016, Springer, 978-3-662-49634-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
9 | Nataliia Bielova, Tamara Rezk |
Spot the Difference: Secure Multi-execution and Multiple Facets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS (1) ![In: Computer Security - ESORICS 2016 - 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I, pp. 501-519, 2016, Springer, 978-3-319-45743-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
9 | Willem De Groef, Dominique Devriese, Nick Nikiforakis, Frank Piessens |
Secure multi-execution of web scripts: Theory and practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 22(4), pp. 469-509, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
9 | Willard Rafnsson, Andrei Sabelfeld |
Secure Multi-execution: Fine-Grained, Declassification-Aware, and Transparent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 2013 IEEE 26th Computer Security Foundations Symposium, New Orleans, LA, USA, June 26-28, 2013, pp. 33-48, 2013, IEEE Computer Society, 978-0-7695-5031-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
9 | Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas |
Secure Multi-Execution through Static Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS/FORTE ![In: Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, pp. 186-202, 2012, Springer, 978-3-642-30792-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
9 | Mauro Jaskelioff, Alejandro Russo |
Secure Multi-execution in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers, pp. 170-178, 2011, Springer, 978-3-642-29708-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
9 | Karen L. Karavanic, Barton P. Miller |
A Framework for Multi-Execution Performance Tuning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scalable Comput. Pract. Exp. ![In: Scalable Comput. Pract. Exp. 4(3), 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
6 | Ran Canetti, Eyal Kushilevitz, Yehuda Lindell |
On the Limitations of Universally Composable Two-Party Computation without Set-up Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2003, International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003, Proceedings, pp. 68-86, 2003, Springer, 3-540-14039-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|