The Seven Properties of Highly Secured Devices (2nd Edition)
Galen Hunt, George Letey, Edmund B Nightingale
MSR-TR-2020-41 | November 2020
Published by Microsoft
Ed Nightingale
Vice President
Systems and Foundations Organization
Microsoft Research
Publications
Publications by Year
-
Nineteen cybersecurity best practices used to implement the seven properties of highly secured devices in Azure Sphere
Edmund B Nightingale, P. Orwick
MSR-TR-2020-56 | July 2020
Published by Microsoft
-
No compromises: distributed transactions with consistency, availability, and performance
Aleksandar Dragojevic, Dushyanth Narayanan, Edmund B Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro
Symposium on Operating Systems Principles (SOSP'15) | October 2015
WearDrive: Fast and Energy-Efficient Storage for Wearables
Jian Huang, Anirudh Badam, Ranveer Chandra, Edmund B Nightingale
Annual Technical Conference (ATC'15) | July 2015
USENIX ATC 2014 Best Paper Award
-
Blizzard: Fast, Cloud-scale Block Storage for Cloud-oblivious Applications
James Mickens, Edmund B Nightingale, Jeremy Elson, Krishna Nareddy, Darren Gehring
Proceedings of NSDI | April 2014
-
Flat Datacenter Storage
Edmund B Nightingale, Jeremy Elson, Jinliang Fan, Owen Hofmann, Jon Howell, Yutaka Suzue
The 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI '12) | October 2012
MinuteSort with Flat Datacenter Storage
Johnson Apacible, Rich Draves, Jeremy Elson, Jinliang Fan, Owen Hofmann, Jon Howell, Edmund B Nightingale, Reuben Olinsky, Yutaka Suzue
MSR-TR-2012-126 | May 2012
Published by Microsoft
-
Cycles, Cells and Platters: An Empirical Analysis of Hardware Failures on a Million Consumer PCs
Edmund B Nightingale, John (JD) Douceur, Vince Orgovan
Proceedings of EuroSys 2011 | April 2011
Best Paper
-
Dynamically Replicated Memory: Building Reliable Systems from Nanoscale Resistive Memories
Engin Ipek, Jeremy Condit, Edmund B Nightingale, Doug Burger, Thomas Moscibroda
ASPLOS 2010: 15th International Conference on Architectural Support for Programming Languages and Operating Systems, Pittsburgh, PA | March 2010
ASPLOS Best Paper Award
quFiles: The Right File at the Right Time
Kaushik Veeraraghavan, Jason Flinn, Edmund B Nightingale, Brian Noble
8th USENIX Conference on File and Storage technologies (FAST '10) | February 2010
Best Paper Award
-
Better I/O Through Byte-Addressable, Persistent Memory
Jeremy Condit, Edmund B Nightingale, Christopher Frost, Engin Ipek, Benjamin Lee, Doug Burger, Derrick Coetzee
Symposium on Operating Systems Principles (SOSP '09) | October 2009
Helios: Heterogeneous Multiprocessing with Satellite Kernels
Edmund B Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen Hunt
Proceedings of the 22nd Symposium on Operating Systems Principles (SOSP '09) | October 2009
Tolerating Latency in Replicated State Machines Through Client Speculation
Benjamin Wester, James Cowling, Edmund B. Nightingale, Peter M. Chen, Jason Flinn, Barbara Liskov, Edmund B Nightingale
The 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09) | January 2009
-
Rethink the Sync
Edmund B Nightingale, Kaushik Veeraraghavan, Peter M. Chen, Jason Flinn
ACM Transactions on Computer Systems (TOCS) | September 2008, Vol 26(3)
This is an extended version of our OSDI 2006 paper.
Parallelizing Security Checks on Commodity Hardware
Edmund B Nightingale, Edmund B. Nightingale, Daniel Peek, Peter M. Chen, Jason Flinn
Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08) | March 2008
quFiles: A Unifying Abstraction for Mobile Data Management
Edmund B Nightingale, Jason Flinn, Brian Noble
Proceedings of the 9th Workshop on Mobile Computing Systems and Applications (HotMobile '08) | February 2008
-
PhD Thesis: Speculative Execution Within A Commodity Operating System
January 2007
PhD Thesis: The University of Michigan | January 2007
-
Speculative Execution in a Distributed File System
Peter M. Chen, Jason Flinn, Edmund B Nightingale
ACM Transactions on Computer Systems (TOCS) | November 2006, Vol 24(4): pp. 361-392
Rethink the Sync
Peter M. Chen, Jason Flinn, Edmund B Nightingale
Seventh Symposium on Operating Systems Design and Implementation (OSDI '06) | October 2006
Best Paper
Virtual Ring Routing: Network Routing Inspired by DHTs
Matthew Caesar, Miguel Castro, Edmund B Nightingale, Greg O'Shea, Ant Rowstron
MSR-TR-2006-29 | August 2006
Published by Microsoft
Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence
-
Speculative Execution In A Distributed File System
Peter M. Chen, Jason Flinn, Edmund B Nightingale
Proceedings of the 20th Symposium on Operating Systems Principles (SOSP '05) Award paper. | October 2005
Selected as an award paper.
-
Energy-efficiency and storage flexibility in the Blue File System
Edmund B. Nightingale, Jason Flinn, Edmund B Nightingale
Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI '04) | December 2004
Ghosts in the Machine: Interfaces for Better Power Management
Manish Anand, Edmund B. Nightingale, Jason Flinn, Edmund B Nightingale
Proceedings of the 2nd Annual Conference on Mobile Computing Systems, Applications and Services (MobiSys '04) Won best paper award. | June 2004
-
Self-tuning wireless network power management
Manish Anand, Edmund B Nightingale, Jason Flinn
Proceedings of the 9th Annual Conference on Mobile Computing and Networking (MOBICOM '03) | September 2003
Publications by Research Area
-
The Seven Properties of Highly Secured Devices (2nd Edition)
Galen Hunt, George Letey, Edmund B Nightingale
MSR-TR-2020-41 | November 2020
Published by Microsoft
Nineteen cybersecurity best practices used to implement the seven properties of highly secured devices in Azure Sphere
Edmund B Nightingale, P. Orwick
MSR-TR-2020-56 | July 2020
Published by Microsoft
-
The Seven Properties of Highly Secured Devices (2nd Edition)
Galen Hunt, George Letey, Edmund B Nightingale
MSR-TR-2020-41 | November 2020
Published by Microsoft
Ghosts in the Machine: Interfaces for Better Power Management
Manish Anand, Edmund B. Nightingale, Jason Flinn, Edmund B Nightingale
Proceedings of the 2nd Annual Conference on Mobile Computing Systems, Applications and Services (MobiSys '04) Won best paper award. | June 2004
-
The Seven Properties of Highly Secured Devices (2nd Edition)
Galen Hunt, George Letey, Edmund B Nightingale
MSR-TR-2020-41 | November 2020
Published by Microsoft
No compromises: distributed transactions with consistency, availability, and performance
Aleksandar Dragojevic, Dushyanth Narayanan, Edmund B Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro
Symposium on Operating Systems Principles (SOSP'15) | October 2015
WearDrive: Fast and Energy-Efficient Storage for Wearables
Jian Huang, Anirudh Badam, Ranveer Chandra, Edmund B Nightingale
Annual Technical Conference (ATC'15) | July 2015
USENIX ATC 2014 Best Paper Award
Blizzard: Fast, Cloud-scale Block Storage for Cloud-oblivious Applications
James Mickens, Edmund B Nightingale, Jeremy Elson, Krishna Nareddy, Darren Gehring
Proceedings of NSDI | April 2014
Flat Datacenter Storage
Edmund B Nightingale, Jeremy Elson, Jinliang Fan, Owen Hofmann, Jon Howell, Yutaka Suzue
The 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI '12) | October 2012
MinuteSort with Flat Datacenter Storage
Johnson Apacible, Rich Draves, Jeremy Elson, Jinliang Fan, Owen Hofmann, Jon Howell, Edmund B Nightingale, Reuben Olinsky, Yutaka Suzue
MSR-TR-2012-126 | May 2012
Published by Microsoft
Cycles, Cells and Platters: An Empirical Analysis of Hardware Failures on a Million Consumer PCs
Edmund B Nightingale, John (JD) Douceur, Vince Orgovan
Proceedings of EuroSys 2011 | April 2011
Best Paper
Dynamically Replicated Memory: Building Reliable Systems from Nanoscale Resistive Memories
Engin Ipek, Jeremy Condit, Edmund B Nightingale, Doug Burger, Thomas Moscibroda
ASPLOS 2010: 15th International Conference on Architectural Support for Programming Languages and Operating Systems, Pittsburgh, PA | March 2010
ASPLOS Best Paper Award
quFiles: The Right File at the Right Time
Kaushik Veeraraghavan, Jason Flinn, Edmund B Nightingale, Brian Noble
8th USENIX Conference on File and Storage technologies (FAST '10) | February 2010
Best Paper Award
Better I/O Through Byte-Addressable, Persistent Memory
Jeremy Condit, Edmund B Nightingale, Christopher Frost, Engin Ipek, Benjamin Lee, Doug Burger, Derrick Coetzee
Symposium on Operating Systems Principles (SOSP '09) | October 2009
Helios: Heterogeneous Multiprocessing with Satellite Kernels
Edmund B Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen Hunt
Proceedings of the 22nd Symposium on Operating Systems Principles (SOSP '09) | October 2009
Tolerating Latency in Replicated State Machines Through Client Speculation
Benjamin Wester, James Cowling, Edmund B. Nightingale, Peter M. Chen, Jason Flinn, Barbara Liskov, Edmund B Nightingale
The 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09) | January 2009
Rethink the Sync
Edmund B Nightingale, Kaushik Veeraraghavan, Peter M. Chen, Jason Flinn
ACM Transactions on Computer Systems (TOCS) | September 2008, Vol 26(3)
This is an extended version of our OSDI 2006 paper.
Parallelizing Security Checks on Commodity Hardware
Edmund B Nightingale, Edmund B. Nightingale, Daniel Peek, Peter M. Chen, Jason Flinn
Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08) | March 2008
Rethink the Sync
Peter M. Chen, Jason Flinn, Edmund B Nightingale
Seventh Symposium on Operating Systems Design and Implementation (OSDI '06) | October 2006
Best Paper
Self-tuning wireless network power management
Manish Anand, Edmund B Nightingale, Jason Flinn
Proceedings of the 9th Annual Conference on Mobile Computing and Networking (MOBICOM '03) | September 2003
-
quFiles: A Unifying Abstraction for Mobile Data Management
Edmund B Nightingale, Jason Flinn, Brian Noble
Proceedings of the 9th Workshop on Mobile Computing Systems and Applications (HotMobile '08) | February 2008
PhD Thesis: Speculative Execution Within A Commodity Operating System
January 2007
PhD Thesis: The University of Michigan | January 2007
Speculative Execution in a Distributed File System
Peter M. Chen, Jason Flinn, Edmund B Nightingale
ACM Transactions on Computer Systems (TOCS) | November 2006, Vol 24(4): pp. 361-392
Energy-efficiency and storage flexibility in the Blue File System
Edmund B. Nightingale, Jason Flinn, Edmund B Nightingale
Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI '04) | December 2004
-
quFiles: The Right File at the Right Time
Kaushik Veeraraghavan, Jason Flinn, Edmund B Nightingale, Brian Noble
8th USENIX Conference on File and Storage technologies (FAST '10) | February 2010
Best Paper Award
quFiles: A Unifying Abstraction for Mobile Data Management
Edmund B Nightingale, Jason Flinn, Brian Noble
Proceedings of the 9th Workshop on Mobile Computing Systems and Applications (HotMobile '08) | February 2008
-
MinuteSort with Flat Datacenter Storage
Johnson Apacible, Rich Draves, Jeremy Elson, Jinliang Fan, Owen Hofmann, Jon Howell, Edmund B Nightingale, Reuben Olinsky, Yutaka Suzue
MSR-TR-2012-126 | May 2012
Published by Microsoft
-
Virtual Ring Routing: Network Routing Inspired by DHTs
Matthew Caesar, Miguel Castro, Edmund B Nightingale, Greg O'Shea, Ant Rowstron
MSR-TR-2006-29 | August 2006
Published by Microsoft
Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence
-
Speculative Execution In A Distributed File System
Peter M. Chen, Jason Flinn, Edmund B Nightingale
Proceedings of the 20th Symposium on Operating Systems Principles (SOSP '05) Award paper. | October 2005
Selected as an award paper.
Publications by Type
-
The Seven Properties of Highly Secured Devices (2nd Edition)
Galen Hunt, George Letey, Edmund B Nightingale
MSR-TR-2020-41 | November 2020
Published by Microsoft
Nineteen cybersecurity best practices used to implement the seven properties of highly secured devices in Azure Sphere
Edmund B Nightingale, P. Orwick
MSR-TR-2020-56 | July 2020
Published by Microsoft
MinuteSort with Flat Datacenter Storage
Johnson Apacible, Rich Draves, Jeremy Elson, Jinliang Fan, Owen Hofmann, Jon Howell, Edmund B Nightingale, Reuben Olinsky, Yutaka Suzue
MSR-TR-2012-126 | May 2012
Published by Microsoft
Virtual Ring Routing: Network Routing Inspired by DHTs
Matthew Caesar, Miguel Castro, Edmund B Nightingale, Greg O'Shea, Ant Rowstron
MSR-TR-2006-29 | August 2006
Published by Microsoft
Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence
-
No compromises: distributed transactions with consistency, availability, and performance
Aleksandar Dragojevic, Dushyanth Narayanan, Edmund B Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro
Symposium on Operating Systems Principles (SOSP'15) | October 2015
WearDrive: Fast and Energy-Efficient Storage for Wearables
Jian Huang, Anirudh Badam, Ranveer Chandra, Edmund B Nightingale
Annual Technical Conference (ATC'15) | July 2015
USENIX ATC 2014 Best Paper Award
Blizzard: Fast, Cloud-scale Block Storage for Cloud-oblivious Applications
James Mickens, Edmund B Nightingale, Jeremy Elson, Krishna Nareddy, Darren Gehring
Proceedings of NSDI | April 2014
Flat Datacenter Storage
Edmund B Nightingale, Jeremy Elson, Jinliang Fan, Owen Hofmann, Jon Howell, Yutaka Suzue
The 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI '12) | October 2012
Cycles, Cells and Platters: An Empirical Analysis of Hardware Failures on a Million Consumer PCs
Edmund B Nightingale, John (JD) Douceur, Vince Orgovan
Proceedings of EuroSys 2011 | April 2011
Best Paper
Dynamically Replicated Memory: Building Reliable Systems from Nanoscale Resistive Memories
Engin Ipek, Jeremy Condit, Edmund B Nightingale, Doug Burger, Thomas Moscibroda
ASPLOS 2010: 15th International Conference on Architectural Support for Programming Languages and Operating Systems, Pittsburgh, PA | March 2010
ASPLOS Best Paper Award
quFiles: The Right File at the Right Time
Kaushik Veeraraghavan, Jason Flinn, Edmund B Nightingale, Brian Noble
8th USENIX Conference on File and Storage technologies (FAST '10) | February 2010
Best Paper Award
Better I/O Through Byte-Addressable, Persistent Memory
Jeremy Condit, Edmund B Nightingale, Christopher Frost, Engin Ipek, Benjamin Lee, Doug Burger, Derrick Coetzee
Symposium on Operating Systems Principles (SOSP '09) | October 2009
Helios: Heterogeneous Multiprocessing with Satellite Kernels
Edmund B Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen Hunt
Proceedings of the 22nd Symposium on Operating Systems Principles (SOSP '09) | October 2009
Tolerating Latency in Replicated State Machines Through Client Speculation
Benjamin Wester, James Cowling, Edmund B. Nightingale, Peter M. Chen, Jason Flinn, Barbara Liskov, Edmund B Nightingale
The 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09) | January 2009
Parallelizing Security Checks on Commodity Hardware
Edmund B Nightingale, Edmund B. Nightingale, Daniel Peek, Peter M. Chen, Jason Flinn
Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08) | March 2008
quFiles: A Unifying Abstraction for Mobile Data Management
Edmund B Nightingale, Jason Flinn, Brian Noble
Proceedings of the 9th Workshop on Mobile Computing Systems and Applications (HotMobile '08) | February 2008
Rethink the Sync
Peter M. Chen, Jason Flinn, Edmund B Nightingale
Seventh Symposium on Operating Systems Design and Implementation (OSDI '06) | October 2006
Best Paper
Speculative Execution In A Distributed File System
Peter M. Chen, Jason Flinn, Edmund B Nightingale
Proceedings of the 20th Symposium on Operating Systems Principles (SOSP '05) Award paper. | October 2005
Selected as an award paper.
Energy-efficiency and storage flexibility in the Blue File System
Edmund B. Nightingale, Jason Flinn, Edmund B Nightingale
Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI '04) | December 2004
Ghosts in the Machine: Interfaces for Better Power Management
Manish Anand, Edmund B. Nightingale, Jason Flinn, Edmund B Nightingale
Proceedings of the 2nd Annual Conference on Mobile Computing Systems, Applications and Services (MobiSys '04) Won best paper award. | June 2004
Self-tuning wireless network power management
Manish Anand, Edmund B Nightingale, Jason Flinn
Proceedings of the 9th Annual Conference on Mobile Computing and Networking (MOBICOM '03) | September 2003
-
Rethink the Sync
Edmund B Nightingale, Kaushik Veeraraghavan, Peter M. Chen, Jason Flinn
ACM Transactions on Computer Systems (TOCS) | September 2008, Vol 26(3)
This is an extended version of our OSDI 2006 paper.
Speculative Execution in a Distributed File System
Peter M. Chen, Jason Flinn, Edmund B Nightingale
ACM Transactions on Computer Systems (TOCS) | November 2006, Vol 24(4): pp. 361-392
-
PhD Thesis: Speculative Execution Within A Commodity Operating System
January 2007
PhD Thesis: The University of Michigan | January 2007