Angelos D. Keromytis Stephen A. Edwards Vassilis Prevelakis Michael W. Hicks  Home/Search
Context
Related
| upenn.edu/~mwh/pap...ses_position.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: upenn.edu/~mwh/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Technology trends in recent years have resulted in the rapid and wide-scale deployment of embedded systems as critical components of larger systems such as home appliances, airplanes, ships, and motor-vehicles. Furthermore, traditional desktops and workstations themselves are becoming a federation of embedded systems such as external storage devices connected with USB and FireWire buses. Such ubiquity of embedded systems increases the impact of random and maliciously-induced failures and the... (Update)
Active bibliography (related documents): More All
0.6: Dynamic Software Updating - Hicks (2001) (Correct)
0.4: High-Assurance Common Language Runtime - Appel, Walker, Shao, Trifonov (Correct)
0.3: A Survey of Active Network Research - David Tennenhouse Massachusetts (1997) (Correct)
Similar documents based on text: More All
0.3: Designing an Embedded Firewall/VPN Gateway - Vassilis Prevelakis And (Correct)
0.3: The SwitchWare Active Network Implementation - Alexander, Hicks, Kakkar.. (1998) (Correct)
0.3: Scalable Resource Control in Active Networks - Anagnostakis, Hicks.. (2000) (Correct)
BibTeX entry: (Update)
@misc{ stephen-open,
author = "Angelos Keromytis Stephen",
title = "Open and Survivable Embedded Systems",
url = "citeseer.ist.psu.edu/627536.html" }
Citations (may not include all citations):746 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1996
566 Proof-carrying code - Necula - 1997
188 Region-based memory management - Tofte, Talpin - 1997
152 A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
139 Secure information flow in a multi-threaded imperative langu.. - Smith, Volpano - 1998
121 A core calculus of dependency - Abadi, Banerjee et al. - 1999
102 The SLam calculus: programming with secrecy and integrity - Heintze, Riecke - 1998
88 Cyclone: A Safe Dialect of C - Jim, Morrisett et al. - 2002
79 ACM Transactions on Programming Languages and Systems (context) - Morrisett, Walker et al. - 1999
60 A survey of process migration mechanisms (context) - Smith - 1988
58 Memory management with explicit regions - Gay, Aiken - 1998
50 A certifying compiler for Java - Colby, Lee et al. - 2000
45 Dynamic software updating - Hicks, Moore et al. - 2001
38 SafeTSA: A type safe and referentially secure mobile-code re.. - Amme, Dalton et al. - 2001
35 Certifying compilation and run-time code generation - Hornof, Jim - 1999
21 Type-based hot swapping of running modules - Duggan - 2001
19 Untrusted Hosts and Confidentiality: Secure Program Partitio.. - Zdancewic, Zheng et al. - 2001
18 An overview of checkpointing in uniprocessor and distributed.. - Plank - 1997
18 Safe and flexible dynamic linking of native code - Hicks, Weirich et al. - 2000
9 Portable checkpointing for heterogenous architectures (context) - Ramkumar, Strumpen - 1997
7 Scalable certification for Typed Assembly Language - Grossman, Morrisett - 2000
4 Computer Science Department (context) - Hofmeister, PhD - 1993
4 Secure information flow using security groups (context) - Foley - 1990
3 Efficient and language-independent mobile programs (context) - Adl-Tabatabai, Langdale et al. - 1996
3 or enhanced extensibility required (context) - Hicks, Nettles et al. - 1942
1 com researchforestUK (context) - Workshop, Persistence et al. - 1996
1 Wrox Press (context) - Conard, Glynn et al. - 2001
Documents on the same site (http://www.cis.upenn.edu/~mwh/papers.html): More
General-Purpose Persistence Using Flash Memory - Moore, Hicks, Nettles (1997) (Correct)
Experiences with Capsule-based Active Networking - Hicks, Moore, Nettles.. (2002) (Correct)
Active Networking Means Evolution (or Enhanced Extensibility.. - Hicks, Nettles (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC