Anil Madhavapeddy

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat Terracorder: Sense Long and Prosper 2024 Josh Millar
Sarab S. Sethi
Hamed Haddadi
Anil Madhavapeddy
+ PDF Chat Global, robust and comparable digital carbon assets 2024 Sadiq Jaffer
Michael Dales
Patrick J. Ferris
Derek Sorensen
Thomas Swinfield
Robin Message
Srinivasan Keshav
Anil Madhavapeddy
+ PDF Chat Global, robust and comparable digital carbon assets 2024 Sadiq Jaffer
Michael Dales
Patrick J. Ferris
Thomas Swinfield
Derek Sorensen
Robin Message
Anil Madhavapeddy
Srinivasan Keshav
+ A Case for Planetary Computing 2023 Amelia Holcomb
Michael Dales
Patrick J. Ferris
Sadiq Jaffer
Thomas Swinfield
Alison Eyres
Andrew Balmford
David A. Coomes
Srinivasan Keshav
Anil Madhavapeddy
+ Enabling Lightweight Privilege Separation in Applications with MicroGuards 2023 Zahra Tarkhani
Anil Madhavapeddy
+ PDF Chat Functors 2022 Anil Madhavapeddy
Yaron Minsky
+ Enhancing the Security & Privacy of Wearable Brain-Computer Interfaces 2022 Zahra Tarkhani
Lorena Qendro
Malachy O'Connor Brown
Oscar Hill
Cecilia Mascolo
Anil Madhavapeddy
+ Retrofitting effect handlers onto OCaml 2021 KC Sivaramakrishnan
Stephen K. Dolan
Leo White
Tom Kelly
Sadiq Jaffer
Anil Madhavapeddy
+ How Computer Science Can Aid Forest Restoration 2021 Gemma Gordon
Amelia Holcomb
Tom Kelly
Srinivasan Keshav
Jon Ludlum
Anil Madhavapeddy
+ Sirius: Enabling System-Wide Isolation for Trusted Execution Environments. 2020 Zahra Tarkhani
Anil Madhavapeddy
+ PDF Chat Retrofitting parallelism onto OCaml 2020 KC Sivaramakrishnan
Stephen K. Dolan
Leo White
Sadiq Jaffer
Tom Kelly
Anmol Sahoo
S. Parimala
Atul Dhiman
Anil Madhavapeddy
+ $μ$Tiles: Efficient Intra-Process Privilege Enforcement of Memory Regions. 2020 Zahra Tarkhani
Anil Madhavapeddy
+ Enclave-Aware Compartmentalization and Secure Sharing with Sirius 2020 Zahra Tarkhani
Anil Madhavapeddy
+ $μ$Tiles: Efficient Intra-Process Privilege Enforcement of Memory Regions 2020 Zahra Tarkhani
Anil Madhavapeddy
+ Programming Unikernels in the Large via Functor Driven Development 2019 Gabriel Radanne
Thomas Gazagnaire
Anil Madhavapeddy
Jeremy Yallop
Richard Mortier
Hannes Mehnert
Mindy Preston
David J. Scott
+ Fractal: Automated Application Scaling 2019 Masoud Koleini
Carlos Oviedo
Derek McAuley
Charalampos Rotsos
Anil Madhavapeddy
Thomas Gazagnaire
Magnus Skejgstad
Richard Mortier
+ Programming Unikernels in the Large via Functor Driven Development 2019 Gabriel Radanne
Thomas Gazagnaire
Anil Madhavapeddy
Jeremy Yallop
Richard Mortier
Hannes Mehnert
Mindy Preston
David L. Scott
+ PDF Chat Personal Data: Thinking Inside the Box 2015 Amir Chaudhry
Jon Crowcroft
Heidi Howard
Anil Madhavapeddy
Richard Mortier
Hamed Haddadi
Derek McAuley
+ Personal Data: Thinking Inside the Box 2015 Hamed Haddadi
Heidi Howard
Amir Chaudhry
Jon Crowcroft
Anil Madhavapeddy
Richard Mortier
+ Personal Data: Thinking Inside the Box 2015 Hamed Haddadi
Heidi Howard
Amir Chaudhry
Jon Crowcroft
Anil Madhavapeddy
Richard Mortier
+ Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked Puzzles 2014 Magnus Skjegstad
Anil Madhavapeddy
Jon Crowcroft
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ Anatomy of the Third-Party Web Tracking Ecosystem 2014 Marjan Falahrastegar
Hamed Haddadi
Steve Uhlig
Richard Mortier
2
+ Spectre Attacks: Exploiting Speculative Execution 2018 Paul Kocher
Daniel Genkin
Daniel Gruss
Werner Haas
Mike Hamburg
Moritz Lipp
Stefan Mangard
Thomas Prescher
Michael Schwarz
Yuval Yarom
2
+ SgxPectre: Stealing Intel Secrets from SGX Enclaves Via Speculative Execution 2019 Guoxing Chen
Sanchuan Chen
Yuan Xiao
Yinqian Zhang
Zhiqiang Lin
Ten H. Lai
2
+ ML-Leaks: Model and Data Independent Membership Inference Attacks and Defenses on Machine Learning Models 2019 Ahmed Salem
Shuicheng Yan
Mathias Humbert
Pascal Berrang
Mario Fritz
Michael Backes
2
+ EnclaveDom: Privilege Separation for Large-TCB Applications in Trusted Execution Environments 2019 Marcela S. Melara
Michael J. Freedman
Mic Bowman
2
+ PDF Chat SEVered 2018 Mathias Morbitzer
Manuel Huber
Julian Horsch
Sascha Wessel
2
+ PDF Chat Human-Data Interaction: The Human Face of the Data-Driven Society 2014 Richard Mortier
Hamed Haddadi
Tristan Henderson
Derek McAuley
Jon Crowcroft
2
+ Slalom: Fast, Verifiable and Private Execution of Neural Networks in Trusted Hardware 2018 Florian Tramèr
Dan Boneh
1
+ PDF Chat Programming with algebraic effects and handlers 2014 Andrej Bauer
Matija Pretnar
1
+ Pyro: Deep Universal Probabilistic Programming 2018 Eli Bingham
Jonathan P. Chen
Martin Jankowiak
Fritz Obermeyer
Neeraj Pradhan
Theofanis Karaletsos
Rohit Singh
Paul Szerlip
Paul Horsfall
Noah D. Goodman
1
+ PDF Chat SoK: Shining Light on Shadow Stacks 2019 Nathan Burow
Xinping Zhang
Mathias Payer
1
+ libmpk: Software Abstraction for Intel Memory Protection Keys 2018 Soyeon Park
Sangho Lee
Wen Xu
Hyungon Moon
Taesoo Kim
1
+ PDF Chat Eff Directly in OCaml 2018 Oleg Kiselyov
KC Sivaramakrishnan
1
+ PDF Chat Practical Enclave Malware with Intel SGX 2019 Michael Schwarz
Samuel Weiser
Daniel Gruss
1
+ Malware Guard Extension: Using SGX to Conceal Cache Attacks 2017 Michael Schwarz
Samuel Weiser
Daniel Gruss
Clémentine Maurice
Stefan Mangard
1
+ Keystone: A Framework for Architecting TEEs. 2019 Dayeol Lee
David Kohlbrenner
Shweta Shinde
Dawn Song
Krste Asanović
1
+ PDF Chat Retrofitting parallelism onto OCaml 2020 KC Sivaramakrishnan
Stephen K. Dolan
Leo White
Sadiq Jaffer
Tom Kelly
Anmol Sahoo
S. Parimala
Atul Dhiman
Anil Madhavapeddy
1
+ TrustShadow: Secure Execution of Unmodified Applications with ARM TrustZone 2017 Le Guan
Peng Liu
Xinyu Xing
Xinyang Ge
Shengzhi Zhang
Meng Yu
Trent Jaeger
1
+ SGX-LKL: Securing the Host OS Interface for Trusted Execution. 2019 Christian Priebe
Divya Muthukumaran
Joshua Lind
Huanzhou Zhu
Shujie Cui
Vasily A. Sartakov
Peter Pietzuch
1
+ Confidential Deep Learning: Executing Proprietary Models on Untrusted Devices 2019 Peter M. VanNostrand
Ioannis Kyriazis
Michelle Cheng
Tian Guo
Robert J. Walls
1
+ Privado: Practical and Secure DNN Inference with Enclaves 2018 Karan Grover
Shruti Tople
Shweta Shinde
Ranjita Bhagwan
Ramachandran Ramjee
1
+ Introduction to the Tezos Blockchain 2019 Victor Allombert
Mathias Bourgoin
Julien Tesson
1
+ PDF Chat On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control 2019 Yannick Forster
Ohad Kammar
Sam Lindley
Matija Pretnar
1
+ $μ$Tiles: Efficient Intra-Process Privilege Enforcement of Memory Regions. 2020 Zahra Tarkhani
Anil Madhavapeddy
1
+ PDF Chat DarkneTZ 2020 Fan Mo
Ali Shahin Shamsabadi
Kleomenis Katevas
Soteris Demetriou
Ilias Leontiadis
Andrea Cavallaro
Hamed Haddadi
1
+ PDF Chat Hierarchical memory management for mutable state 2018 Adrien Guatto
Sam Westrick
Ram Raghunathan
Umut A. Acar
Matthew Fluet
1
+ PDF Chat Garbage collection for multicore NUMA machines 2011 Sven Auhagen
Lars Bergström
Matthew Fluet
John Reppy
1
+ PDF Chat Membership Inference Attacks Against Machine Learning Models 2017 Reza Shokri
Marco Stronati
Congzheng Song
Vitaly Shmatikov
1
+ A graph cut approach to 3D tree delineation, using integrated airborne LiDAR and hyperspectral imagery 2017 Juheon Lee
David A. Coomes
Carola‐Bibiane Schönlieb
Xiaohao Cai
Jan Lellmann
Michele Dalponte
Yadvinder Malhi
Nathalie Butt
Michael D. Morecroft
1
+ PDF Chat Malware Guard Extension: Using SGX to Conceal Cache Attacks 2017 Michael Schwarz
Samuel Weiser
Daniel Gruss
Clémentine Maurice
Stefan Mangard
1
+ Hyperledger fabric: a distributed operating system for permissioned blockchains 2018 Elli Androulaki
Artem Barger
Vita Bortnikov
Christian Cachin
Konstantinos Christidis
Angelo De
David Enyeart
Christopher Ferris
Gennady Laventman
Yacov Manevich
1
+ Chiron: Privacy-preserving Machine Learning as a Service 2018 Tyler Hunt
Congzheng Song
Reza Shokri
Vitaly Shmatikov
Emmett Witchel
1