The Seven Properties of Highly Secured Devices (2nd Edition)
Galen Hunt, George Letey, Ed Nightingale
MSR-TR-2020-41 | November 2020
Published by Microsoft
Publications
Publications
Publications by Year
-
-
Checked C: Making C Safe by Extension
David Tarditi, Archibald Samuel Elliott, Andrew Ruef, Michael Hicks
IEEE Cybersecurity Development Conference 2018 (SecDev) | September 2018
-
Security Analysis of Emerging Smart Home Applications
Earlence Fernandes, Jaeyeon Jung, Atul Prakash
37th IEEE Symposium on Security and Privacy | May 2016
Distinguished Practical Paper Award
-
Challenges to Building Scalable Services: A Survey of Microsoft’s Internet Services
Galen Hunt, Steven Levi
MSR-TR-2015-29 | April 2015
-
Shielding applications from an untrusted cloud with Haven
Andrew Baumann, Marcus Peinado, Galen Hunt
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’14) | October 2014
Best Paper Award
-
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, Ed Nightingale, Reuben Olinsky, Yutaka Suzue
MSR-TR-2012-126 | May 2012
An Operating System for the Home
Colin Dixon, Ratul Mahajan, Sharad Agarwal, A.J. Brush, Bongshin Lee, Stefan Saroiu, Victor Bahl
NSDI | April 2012
-
Home Automation in the Wild: Challenges and Opportunities
A.J. Brush, Bongshin Lee, Ratul Mahajan, Sharad Agarwal, Stefan Saroiu, Colin Dixon
May 2011
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
Rethinking the Library OS from the Top Down
Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, Galen Hunt
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2011
-
User Experiences with Activity-Based Navigation on Mobile Devices
A.J. Brush, Amy Karlson, James Scott, Raman Sarin, Andy Jacobs, Barry Bond, Oscar Murillo, Galen Hunt, Mike Sinclair, Kerry Hammil, Steven Levi
Proceedings of MobileHCI 2010 | September 2010
quFiles: The Right File at the Right Time
Kaushik Veeraraghavan, Jason Flinn, Ed 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
Debugging in the (Very) Large: Ten Years of Implementation and Experience
Galen Hunt, Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle
Proceedings of the 22nd ACM 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, Ed Nightingale
The 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’09) | January 2009
-
Sealing OS Processes to Improve Dependability and Safety
Galen Hunt, Mark Aiken, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Jim Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber
Proceedings of the European Conference on Computer Systems (EuroSys) | March 2007
-
Language Support for Fast and Reliable Message-based Communication in Singularity OS
Manuel Fahndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, Jim Larus, Steven Levi
Proceedings of the EuroSys 2006 Conference | April 2006
Best Paper
Solving the Starting Problem: Device Drivers as Self-Describing Artifacts
Michael Spear, Tom Roeder, Orion Hodson, Galen Hunt, Steven Levi
Proceedings of the EuroSys 2006 Conference | April 2006
Publications by Research Area
-
The Seven Properties of Highly Secured Devices (2nd Edition)
Galen Hunt, George Letey, Ed Nightingale
MSR-TR-2020-41 | November 2020
Published by Microsoft
User Experiences with Activity-Based Navigation on Mobile Devices
A.J. Brush, Amy Karlson, James Scott, Raman Sarin, Andy Jacobs, Barry Bond, Oscar Murillo, Galen Hunt, Mike Sinclair, Kerry Hammil, Steven Levi
Proceedings of MobileHCI 2010 | September 2010
-
The Seven Properties of Highly Secured Devices (2nd Edition)
Galen Hunt, George Letey, Ed Nightingale
MSR-TR-2020-41 | November 2020
Published by Microsoft
Checked C: Making C Safe by Extension
David Tarditi, Archibald Samuel Elliott, Andrew Ruef, Michael Hicks
IEEE Cybersecurity Development Conference 2018 (SecDev) | September 2018
Shielding applications from an untrusted cloud with Haven
Andrew Baumann, Marcus Peinado, Galen Hunt
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’14) | October 2014
Best Paper Award
-
The Seven Properties of Highly Secured Devices (2nd Edition)
Galen Hunt, George Letey, Ed Nightingale
MSR-TR-2020-41 | November 2020
Published by Microsoft
Checked C: Making C Safe by Extension
David Tarditi, Archibald Samuel Elliott, Andrew Ruef, Michael Hicks
IEEE Cybersecurity Development Conference 2018 (SecDev) | September 2018
Security Analysis of Emerging Smart Home Applications
Earlence Fernandes, Jaeyeon Jung, Atul Prakash
37th IEEE Symposium on Security and Privacy | May 2016
Distinguished Practical Paper Award
Shielding applications from an untrusted cloud with Haven
Andrew Baumann, Marcus Peinado, Galen Hunt
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’14) | October 2014
Best Paper Award
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, Ed Nightingale, Reuben Olinsky, Yutaka Suzue
MSR-TR-2012-126 | May 2012
An Operating System for the Home
Colin Dixon, Ratul Mahajan, Sharad Agarwal, A.J. Brush, Bongshin Lee, Stefan Saroiu, Victor Bahl
NSDI | April 2012
Home Automation in the Wild: Challenges and Opportunities
A.J. Brush, Bongshin Lee, Ratul Mahajan, Sharad Agarwal, Stefan Saroiu, Colin Dixon
May 2011
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
Rethinking the Library OS from the Top Down
Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, Galen Hunt
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2011
quFiles: The Right File at the Right Time
Kaushik Veeraraghavan, Jason Flinn, Ed Nightingale, Brian Noble
8th USENIX Conference on File and Storage technologies (FAST ’10) | February 2010
Best Paper Award
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
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
Debugging in the (Very) Large: Ten Years of Implementation and Experience
Galen Hunt, Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle
Proceedings of the 22nd ACM 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, Ed Nightingale
The 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’09) | January 2009
Sealing OS Processes to Improve Dependability and Safety
Galen Hunt, Mark Aiken, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Jim Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber
Proceedings of the European Conference on Computer Systems (EuroSys) | March 2007
Solving the Starting Problem: Device Drivers as Self-Describing Artifacts
Michael Spear, Tom Roeder, Orion Hodson, Galen Hunt, Steven Levi
Proceedings of the EuroSys 2006 Conference | April 2006
-
quFiles: The Right File at the Right Time
Kaushik Veeraraghavan, Jason Flinn, Ed Nightingale, Brian Noble
8th USENIX Conference on File and Storage technologies (FAST ’10) | February 2010
Best Paper Award
-
Checked C: Making C Safe by Extension
David Tarditi, Archibald Samuel Elliott, Andrew Ruef, Michael Hicks
IEEE Cybersecurity Development Conference 2018 (SecDev) | September 2018
Challenges to Building Scalable Services: A Survey of Microsoft’s Internet Services
Galen Hunt, Steven Levi
MSR-TR-2015-29 | April 2015
Language Support for Fast and Reliable Message-based Communication in Singularity OS
Manuel Fahndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, Jim Larus, Steven Levi
Proceedings of the EuroSys 2006 Conference | April 2006
Best Paper
-
MinuteSort with Flat Datacenter Storage
Johnson Apacible, Rich Draves, Jeremy Elson, Jinliang Fan, Owen Hofmann, Jon Howell, Ed Nightingale, Reuben Olinsky, Yutaka Suzue
MSR-TR-2012-126 | May 2012
-
Home Automation in the Wild: Challenges and Opportunities
A.J. Brush, Bongshin Lee, Ratul Mahajan, Sharad Agarwal, Stefan Saroiu, Colin Dixon
May 2011
User Experiences with Activity-Based Navigation on Mobile Devices
A.J. Brush, Amy Karlson, James Scott, Raman Sarin, Andy Jacobs, Barry Bond, Oscar Murillo, Galen Hunt, Mike Sinclair, Kerry Hammil, Steven Levi
Proceedings of MobileHCI 2010 | September 2010
Publications by Type
-
The Seven Properties of Highly Secured Devices (2nd Edition)
Galen Hunt, George Letey, Ed Nightingale
MSR-TR-2020-41 | November 2020
Published by Microsoft
Challenges to Building Scalable Services: A Survey of Microsoft’s Internet Services
Galen Hunt, Steven Levi
MSR-TR-2015-29 | April 2015
MinuteSort with Flat Datacenter Storage
Johnson Apacible, Rich Draves, Jeremy Elson, Jinliang Fan, Owen Hofmann, Jon Howell, Ed Nightingale, Reuben Olinsky, Yutaka Suzue
MSR-TR-2012-126 | May 2012
-
Checked C: Making C Safe by Extension
David Tarditi, Archibald Samuel Elliott, Andrew Ruef, Michael Hicks
IEEE Cybersecurity Development Conference 2018 (SecDev) | September 2018
Security Analysis of Emerging Smart Home Applications
Earlence Fernandes, Jaeyeon Jung, Atul Prakash
37th IEEE Symposium on Security and Privacy | May 2016
Distinguished Practical Paper Award
Shielding applications from an untrusted cloud with Haven
Andrew Baumann, Marcus Peinado, Galen Hunt
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’14) | October 2014
Best Paper Award
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
An Operating System for the Home
Colin Dixon, Ratul Mahajan, Sharad Agarwal, A.J. Brush, Bongshin Lee, Stefan Saroiu, Victor Bahl
NSDI | April 2012
Home Automation in the Wild: Challenges and Opportunities
A.J. Brush, Bongshin Lee, Ratul Mahajan, Sharad Agarwal, Stefan Saroiu, Colin Dixon
May 2011
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
Rethinking the Library OS from the Top Down
Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, Galen Hunt
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2011
User Experiences with Activity-Based Navigation on Mobile Devices
A.J. Brush, Amy Karlson, James Scott, Raman Sarin, Andy Jacobs, Barry Bond, Oscar Murillo, Galen Hunt, Mike Sinclair, Kerry Hammil, Steven Levi
Proceedings of MobileHCI 2010 | September 2010
quFiles: The Right File at the Right Time
Kaushik Veeraraghavan, Jason Flinn, Ed Nightingale, Brian Noble
8th USENIX Conference on File and Storage technologies (FAST ’10) | February 2010
Best Paper Award
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
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
Debugging in the (Very) Large: Ten Years of Implementation and Experience
Galen Hunt, Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle
Proceedings of the 22nd ACM 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, Ed Nightingale
The 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’09) | January 2009
Sealing OS Processes to Improve Dependability and Safety
Galen Hunt, Mark Aiken, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Jim Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber
Proceedings of the European Conference on Computer Systems (EuroSys) | March 2007
Solving the Starting Problem: Device Drivers as Self-Describing Artifacts
Michael Spear, Tom Roeder, Orion Hodson, Galen Hunt, Steven Levi
Proceedings of the EuroSys 2006 Conference | April 2006
Language Support for Fast and Reliable Message-based Communication in Singularity OS
Manuel Fahndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, Jim Larus, Steven Levi
Proceedings of the EuroSys 2006 Conference | April 2006
Best Paper