Amit Aryeh Levy
Contact Expert

View Scopus Profile

Amit Aryeh Levy

Princeton University

20092025

Research activity per year

  • 29 Conference contribution
  • 6 Article
Filter
Conference contribution

Search results

  • 2024

    Bridge: A Leak-Free Hardware-Software Architecture for Parallel Embedded Systems

    Huang, G., Schuermann, L. & Levy, A., Nov 4 2024, KISV 2024 - Proceedings of the 2nd Workshop on Kernel Isolation, Safety and Verification. Association for Computing Machinery, Inc, p. 16-22 7 p. (KISV 2024 - Proceedings of the 2nd Workshop on Kernel Isolation, Safety and Verification).

    Princeton University

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2023

    Doing More with Less: Orchestrating Serverless Applications without an Orchestrator

    Liu, D. H., Levy, A., Noghabi, S. & Burckhardt, S., 2023, Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2023. USENIX Association, p. 1505-1519 15 p. (Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2023).

    Princeton University

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems

    Schuermann, L. & Levy, A., Oct 23 2023, KISV 2023 - Proceedings of the1st Workshop on Kernel Isolation, Safety and Verification. Association for Computing Machinery, Inc, p. 41-48 8 p. (KISV 2023 - Proceedings of the1st Workshop on Kernel Isolation, Safety and Verification).

    Princeton University

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Only Pay for What You Leak: Leveraging Sandboxes for a Minimally Invasive Browser Fingerprinting Defense

    Torok, R. & Levy, A., 2023, Proceedings - 44th IEEE Symposium on Security and Privacy, SP 2023. Institute of Electrical and Electronics Engineers Inc., p. 1023-1040 18 p. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2023-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2022

    Computation-centric networking

    Deng, Y., Montemayor, A., Levy, A. & Winstein, K., Nov 14 2022, HotNets 2022 - Proceedings of the 2022 21st ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 167-173 7 p. (HotNets 2022 - Proceedings of the 2022 21st ACM Workshop on Hot Topics in Networks).

    Princeton University

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Speculative Recovery: Cheap, Highly Available Fault Tolerance with Disaggregated Storage

    Li, N., Kalaba, A., Freedman, M. J., Lloyd, W. & Levy, A., 2022, Proceedings of the 2022 USENIX Annual Technical Conference, ATC 2022. USENIX Association, p. 271-286 16 p. (Proceedings of the 2022 USENIX Annual Technical Conference, ATC 2022).

    Princeton University

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Tiered Trust for Useful Embedded Systems Security

    Ayers, H., Dutta, P., Levis, P., Levy, A., Pannuto, P., Van Why, J. & Watson, J. L., Apr 5 2022, EuroSec 2022 - Proceedings of the 15th European Workshop on Systems Security. Association for Computing Machinery, Inc, p. 15-21 7 p. (EuroSec 2022 - Proceedings of the 15th European Workshop on Systems Security).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2021

    Power clocks: Dynamic multi-clock management for embedded systems

    Chiang, H., Ayers, H., Giffin, D., Levy, A. & Levis, P., 2021, International Conference on Embedded Wireless Systems and Networks, EWSN 2021. Huang, P. & Zuniga, M. (eds.). Junction Publishing, 13. (International Conference on Embedded Wireless Systems and Networks).

    Princeton University

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Regular Sequential Serializability and Regular Sequential Consistency

    Helt, J., Burke, M., Levy, A. & Lloyd, W., Oct 26 2021, SOSP 2021 - Proceedings of the 28th ACM Symposium on Operating Systems Principles. Association for Computing Machinery, Inc, p. 163-179 17 p. (SOSP 2021 - Proceedings of the 28th ACM Symposium on Operating Systems Principles).

    Princeton University

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2020

    Design Considerations for Low Power Internet Protocols

    Ayers, H., Crews, P., Teo, H., McAvity, C., Levy, A. & Levis, P., May 2020, Proceedings - 16th Annual International Conference on Distributed Computing in Sensor Systems, DCOSS 2020. Institute of Electrical and Electronics Engineers Inc., p. 103-111 9 p. 9183440. (Proceedings - 16th Annual International Conference on Distributed Computing in Sensor Systems, DCOSS 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2019

    CoMET: An active distributed key-value store

    Geambasu, R., Levy, A. A., Kohno, T., Krishnamurthy, A. & Levy, H. M., Jan 1 2019, Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010. USENIX Association, p. 323-336 14 p. (Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010).

    Princeton University

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    13 Scopus citations

  • Position paper: Progressive memory safety for WebAssembly

    Disselkoen, C., Renner, J., Watt, C., Garfinkel, T., Levy, A. & Stefan, D., Jun 23 2019, Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy, HASP 2019. Association for Computing Machinery, 4. (ACM International Conference Proceeding Series).

    Princeton University

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations
  • 2018

    Don't talk unless i say so! securing the internet of things with default-off networking

    Hong, J., Levy, A., Riliskis, L. & Levis, P., May 25 2018, Proceedings - ACM/IEEE International Conference on Internet of Things Design and Implementation, IoTDI 2018. Institute of Electrical and Electronics Engineers Inc., p. 117-128 12 p. (Proceedings - ACM/IEEE International Conference on Internet of Things Design and Implementation, IoTDI 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • Poster abstract: Design considerations for low power internet protocols

    Ayers, H., McAvity, C., Crews, P. T., Levy, A., Teo, H. H. K. & Levis, P., Nov 4 2018, SenSys 2018 - Proceedings of the 16th Conference on Embedded Networked Sensor Systems. Association for Computing Machinery, Inc, p. 317-318 2 p. (SenSys 2018 - Proceedings of the 16th Conference on Embedded Networked Sensor Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Poster abstract: Dynamic multi-clock management for embedded systems

    Chiang, H., Levy, A., Giffin, D. & Levis, P., Nov 4 2018, SenSys 2018 - Proceedings of the 16th Conference on Embedded Networked Sensor Systems. Association for Computing Machinery, Inc, p. 347-348 2 p. (SenSys 2018 - Proceedings of the 16th Conference on Embedded Networked Sensor Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2017

    Demo Abstract: The Tock Embedded Operating System

    Levy, A., Giffin, D. B., Campbell, B., Leonard, S., Ghena, B., Pannuto, P., Dutta, P. & Levis, P., Nov 6 2017, SenSys 2017 - Proceedings of the 15th ACM Conference on Embedded Networked Sensor Systems. Eskicioglu, R. (ed.). Association for Computing Machinery, Inc, (SenSys 2017 - Proceedings of the 15th ACM Conference on Embedded Networked Sensor Systems; vol. 2017-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Multiprogramming a 64 kB Computer Safely and Efficiently

    Levy, A., Giffin, D. B., Campbell, B., Pannuto, P., Levis, P., Ghena, B. & Dutta, P., Oct 14 2017, SOSP 2017 - Proceedings of the 26th ACM Symposium on Operating Systems Principles. Association for Computing Machinery, Inc, p. 234-251 18 p. (SOSP 2017 - Proceedings of the 26th ACM Symposium on Operating Systems Principles).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    31 Scopus citations

  • The case for writing a kernel in rust

    Levy, A., Campbell, B., Ghena, B., Pannuto, P., Dutta, P. & Levis, P., Sep 2 2017, Proceedings of the 8th Asia-Pacific Workshop on Systems, APSys 2017. Association for Computing Machinery, Inc, 3124717. (Proceedings of the 8th Asia-Pacific Workshop on Systems, APSys 2017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    15 Scopus citations
  • 2016

    Beetle: Flexible communication for bluetooth low energy

    Levy, A., Hong, J., Riliskis, L., Levis, P. & Winstein, K., Jun 20 2016, MobiSys 2016 - Proceedings of the 14th Annual International Conference on Mobile Systems, Applications, and Services. Association for Computing Machinery, Inc, p. 111-122 12 p. (MobiSys 2016 - Proceedings of the 14th Annual International Conference on Mobile Systems, Applications, and Services).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    23 Scopus citations

  • Demo: Building comprehensible access control for the internet of things using beetle

    Hong, J., Levy, A. & Levis, P., Jun 25 2016, MobiSys 2016 Companion - Companion Publication of the 14th Annual International Conference on Mobile Systems, Applications, and Services. Association for Computing Machinery, Inc, p. 102 1 p. (MobiSys 2016 Companion - Companion Publication of the 14th Annual International Conference on Mobile Systems, Applications, and Services).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Demo Abstract: Rebooting the embedded system

    Levy, A., Campbell, B., Ghena, B., Leonard, S., Pannuto, P., Levis, P. & Dutta, P., Nov 14 2016, Proceedings of the 14th ACM Conference on Embedded Networked Sensor Systems, SenSys 2016. Association for Computing Machinery, Inc, p. 314-315 2 p. (Proceedings of the 14th ACM Conference on Embedded Networked Sensor Systems, SenSys 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2015

    Ownership is theft: Experiences building an embedded OS in rust

    Levy, A., Andersen, M. P., Campbell, B., Culler, D., Dutta, P., Ghena, B., Levis, P. & Pannuto, P., Oct 4 2015, Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015. Association for Computing Machinery, Inc, p. 21-26 6 p. (Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    16 Scopus citations
  • 2014

    A library for removing cache-based attacks in concurrent information flow systems

    Buiras, P., Levy, A., Stefan, D., Russo, A. & Mazières, D., 2014, Trustworthy Global Computing - 8th International Symposium, TGC 2013, Revised Selected Papers. Springer Verlag, p. 199-216 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8358 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • Building secure systems with LIO (demo)

    Stefan, D., Levy, A., Russo, A. & Maziéres, D., 2014, Haskell 2014 - Proceedings of the 2014 ACM SIGPLAN Haskell Symposium. Association for Computing Machinery, p. 93-94 2 p. (Haskell 2014 - Proceedings of the 2014 ACM SIGPLAN Haskell Symposium).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Poster abstract: A networked embedded system platform for the post-mote era

    Pannuto, P., Andersen, M. P., Bauer, T., Campbell, B., Levy, A., Culler, D., Levis, P. & Dutta, P., Nov 3 2014, SenSys 2014 - Proceedings of the 12th ACM Conference on Embedded Networked Sensor Systems. Association for Computing Machinery, p. 354-355 2 p. (SenSys 2014 - Proceedings of the 12th ACM Conference on Embedded Networked Sensor Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations
  • 2013

    Eliminating cache-based timing attacks with instruction-based scheduling

    Stefan, D., Buiras, P., Yang, E. Z., Levy, A., Terei, D., Russo, A. & Mazières, D., 2013, Computer Security, ESORICS 2013 - 18th European Symposium on Research in Computer Security, Proceedings. p. 718-735 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8134 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    35 Scopus citations
  • 2012

    Addressing covert termination and timing channels in concurrent information flow systems

    Stefan, D., Russo, A., Buiras, P., Levy, A., Mitchell, J. C. & Mazières, D., 2012, ICFP'12 - Proceedings of the 2012 ACM SIGPLAN International Conference on Functional Programming. p. 201-213 13 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    22 Scopus citations

  • HAILS: Protecting data privacy in untrusted web applications

    Giffin, D. B., Levy, A., Stefan, D., Terei, D., Mazières, D., Mitchell, J. C. & Russo, A., Jan 1 2012, Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012. USENIX Association, p. 47-60 14 p. (Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012).

    Princeton University

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    75 Scopus citations
  • 2009

    Vanish: Increasing data privacy with self-destructing data

    Geambasu, R., Kohno, T., Levy, A. A. & Levy, H. M., Jan 1 2009, Proceedings of the 18th USENIX Security Symposium. USENIX Association, p. 299-315 17 p. (Proceedings of the 18th USENIX Security Symposium).

    Princeton University

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    227 Scopus citations