Sebastián Echeverría
Software Engineering Institute
Publications by Sebastián Echeverría
-
Poster - KalKi: High-Assurance Software-Defined IoT Security
November 04, 2020 • Poster
Sebastián Echeverría
The KalKi IoT Security Platform enables the integration of IoT devices into DoD systems, even if the IoT devices are not fully trusted or configurable.
read -
Kalki: High Assurance Software-Defined IoT Security (video)
November 11, 2019 • Video
Sebastián Echeverría
Watch SEI principal investigator Mr. Sebastian Echeverria discuss research to enable the secure integration of IoT devices into DoD systems, even if the devices are not fully trusted or configurable.
watch -
KalKi: High-Assurance Software-Defined IoT Security
October 28, 2019 • Presentation
Sebastián Echeverría
We are developing a solution for DoD's use of commodity IoT technologies that remains resilient and trustworthy, even in the presence of a powerful attacker.
read -
KalKi: High Assurance Software-Defined IoT Security
October 28, 2019 • Poster
Sebastián Echeverría
This poster provides an update on research to help accelerate the safe use of Internet of Things devices in tactical settings.
read -
Secure VM Migration in Tactical Cloudlets
December 11, 2017 • Conference Paper
Grace LewisSebastián EcheverríaDan J. Klinedinst
The goal of this paper is to present a solution for secure VM migration between tactical cloudlets based on secure key generation and exchange in the field.
read -
Secure Tactical Cloudlets for Mission Support at the Edge
March 23, 2017 • Presentation
Grace LewisSebastián Echeverría Dan J. Klinedinst
This presentation introduces the architecture and features of tactical cloudlets and presents a solution for establishing trusted identities in disconnected environments based on the generation and exchange of secure keys in the field.
read -
Establishing Trusted Identities in Disconnected Edge Environments
December 08, 2016 • Conference Paper
Sebastián EcheverríaDan J. KlinedinstKeegan M. Williams
The goal of this paper is to present a solution for establishing trusted identities in disconnected environments based on secure key generation and exchange in the field.
read -
Establishing Trusted Identities in Disconnected Edge Environments
October 27, 2016 • White Paper
Sebastián Echeverría (Universidad de los Andes)Dan J. KlinedinstKeegan M. Williams
he goal of this paper is to present a solution for establishing trusted identities in disconnected environments based on secure key generation and exchange in the field.
read -
Cyber-Foraging for Improving Survivability of Mobile Systems
February 18, 2016 • Technical Report
Sebastián Echeverría (Universidad de los Andes)Grace LewisJames Root
This report presents an architecture and experimental results that demonstrate that cyber-foraging using tactical cloudlets increases the survivability of mobile systems.
read -
Cyber-Foraging for Improving Survivability of Mobile Systems
December 17, 2015 • Conference Paper
Sebastián EcheverríaGrace LewisJames Root
This report presents an architecture and experimental results that demonstrate that cyber-foraging using tactical cloudlets increases the survivability of mobile systems.
read -
Tactical Cloudlets: Moving Cloud Computing to the Tactical Edge
November 18, 2015 • Presentation
Grace LewisJames RootDan J. Klinedinst
This presentation explains the tactical cloudlet concept and describes an implementation targeted at promoting the survivability of mobile systems.
read -
Tactical Cloudlets: Moving Cloud Computing to the Edge
October 08, 2014 • Conference Paper
Grace LewisSebastián EcheverríaSoumya Simanta
Proposes tactical cloudlets as a strategy for providing infrastructure to support computation offload and data staging at the tactical edge.
read