Skip to main content
Science of Security Virtual Organization
Header Menu
Research
Virtual Institutes
Lablets
Projects
Publications
HotSoS
Competitions
Cybersecurity Paper Competition
ISEF
Conferences
HCSS
C3E
Login
Not a member?
Forgot your password?
Submit
Hamburger Menu
Home
Projects
News
Events
Group Menu
Add announcement
Add article
Add event
Add file
Add news
Add page
Add project
Add quarterly report
Add virtual institute
Edit Group
Computational Cybersecurity in Compromised Environments (C3E)
The 2024 workshop will be held September 17-19 at SRI International in Menlo Park, CA.
Register
Venue / Travel
Agenda
Past Meetings
Readings
Challenge Problem
Breadcrumb
Home
/
Node
/
C3E Workshop 2010 - Final Report
/
Edit
Title
Summary
Leave blank to use trimmed value of full text as the summary.
Description
About text formats
File
C3E_Workshop_2010_-_Final_Report.pdf
(673.96 KB)
- None -
Creative Commons 2.5
Creative Commons 3.0
Creative Commons Attribution-NonCommercial 3.0
Creative Commons Attribution 4.0 International
Academic Free
Apache 2.0
BSD 3-Clause
BSD 2-Clause
Common Development and Distribution
Eclipse Public
Educational Community 2.0
GNU General Public 2.0
GNU General Public 3.0
GNU Lesser General Public 2.1
GNU Lesser General Public 3.0
MIT
Mozilla Public 2.0
NASA Open Source Agreement 1.3
Other (as defined in the Description section below)
License
Intellectual property considerations: All materials contributed to the CPS-VO portal must have clearly defined rights and privileges. If you need a license type not listed, please contact us at ip@cps-vo.org to get it added. License information can be viewed at
http://opensource.org/licenses/alphabetical
.
Vertical Tabs
Bypass URL
Enable Bypass URL
If enabled, a unique URL is generated that will allow any user to view this node, regardless of any other permissions set.
Group Settings
Computational Cybersecurity in Compromised Environments (C3E)
Add to Groups
This entity can be added to any number of groups.
Public
For this value to be respected, this entity must be added to at least one group.
Vocabularies
CPS Events
2nd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC’ 15)
2005
2008 NSF-IARPA SoS Workshop
2012 Curriculum/Education Workshop
2013 National Workshop on Energy Cyber-Physical Systems
2014 CPS Aspiring PIs
3rd Annual Symposium on Emerging Topics in Control and Modeling: CPS
ACESMB 2013
Analytical Virtual Integration 2011
Architectures for CPS (ACPS)
Beyond SCADA 2006
CASES 2013
CASES 2014
CCC Workshop on New Forms of Industry 2009
CPS Community Forum 2009
CPS Community Forum: US-EU Institutional Panel
CPS Education Workshop
CPS PI Meeting 2019
CPS PI Meeting 2020
CPS PI Meeting 2021
CPS PI Meeting 2022
CPS PI Meeting 2023
CPS Week 2015
CPS Week 2017
CPS Week 2018
CPS-IoT Week 2023
CyPhy'14
Dependable and Secure Medical Devices 2011
EMSOFT 2011
ES Week 2023
ESWEEK 2010
FRR PI Meeting 2023
HCMDSS Workshop 2005
HCMDSS Workshop 2007
HCSS Conference 2023
HiCoNS’13
HotSoS 2023
HotSoS 2024
ICCPS 2012
Multi-Paradigm Modeling (MPM) 2011
Processes, Methods, and Tools for Cyber-Security-Aware Automotive Embedded Systems
RESILIENCE WEEK 2023
S&CC PI Meeting 2023
SAM 2014
SaTC PI Meeting 2023
SCC Meeting 16
WESE 2012
10th International Workshop on Feedback Computing
2014 CPS-ECP
Automotive CPS Workshop
CODES+ISSS 2013
CODES+ISSS 2014
CPS Community Forum 2011
CPS Information Day 2008
CPS WEEK 2009
CPS Week 2016
CPS-Ed 2013
CPS-IoT Week 2020
CPS-IoT Week 2022
CPS-PI Meeting 2017
CPS-PI Meeting 2018
CRTS 2011
CRTS 2012
Emerging Applications Workshop
EMSOFT
HCSS Conference 2019
HCSSP-CPS 2006
HiCONS 2012
HiCoNS'14
HotSoS 2015
HSCC'13
ICCPS 2010
Model-Based Architecting and Construction of Embedded Systems (ACES)
National HCSSP-CPS Workshop 2007
NSF NRI PI Meeting 2021
RTSS Symposium 2005
System Level Architecture Design Tools and Methods
1st Workshop on Cyber-Physical Systems for Smart Water Networks (CySWater)
2012 Medical Device Innovation
2014 CPS Reference Architectures Workshop
Computational Cybersecurity in Compromised Environments Workshop 2011
CPS Summit 2008
CPS-IoT Week 2019
CPSNA 2013
CPSSW09
Dependable and Secure CPS
EMSOFT 2013
EMSOFT 2014
ES Week 2020
ES Week 2022
ESWeek 2017
ESWeek 2018
HotSoS 2016
HSCC 2012
HSCC'14
ICCPS'13
Industry Panel
National Aviation Software Workshop 2006
National CPS PI Meeting 2010
National HCSS Conference 2015
National Industry Round-Table on CPS 2007
NSF S&CC PI Meeting 2021
2006
2012 Natl. Clockworks Workshop
2014 National Workshop on Research Frontiers in Medical CPS
2015 IEEEE workshop on Modeling and Simulation of Cyber-Physical Energy Systems
CPS Transportation Workshop 2008
CPS-IoT Week 2021
CPSWEEK 2013
CyPhy'11
ES Week 2019
Expeditions PI Meeting 2018
HCSS 2017
HCSS Conference 2020
HCSS Conference 2022
High Confidence Medical Devices (HCMDSS)
High Confidence Software and Systems Conference 2016
ICCPS'14
Industry-Academy Partnership Workshop 2009
IPSN 2012
IPSN'13
National CPS PI Meeting 2015
National CPS Workshop 2006
National HCSS Conference 2010
Workshop on Secure Control Systems
2014 National Workshop on Transportation CPS
2nd International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH 2015)
ADHS 2012
CPSNA 2015
CRTS 2013
Dependable Systems and Networks 2011
ES Week 2021
HCSS Conference 2018
HotSoS 2017
HotSoS 2020
HotSoS 2022
IPSN'14
National Workshop on Aviation Software Systems 2006
NITRD Hearing, US-HR
Resilience Week
RESILIENCE WEEK 2019
RTAS 2012
RTAS'13
RTSS 2010
2014 Winter C3E Workshop
6th Workshop on Medical Cyber-Physical Systems (MedicalCPS)
CPS Community Forum
CSER 2013
CyPhy'12
CyPhy'15
ECBS 2011
ESWeek 2016
HCSS Conference 2021
NRI PI Meeting 2018
NRI PI Meeting 2020
NRI PI Meeting 2022
Planning Workshop of the CPS Steering Group 2008
Resilience Week
RTAS'14
SaTC PI Meeting 2019
Software Certification Consortium Workshop
Workshop on Cyber-Physical Systems 2006
7th Workshop on AdaPtive and Reconfigurable Embedded Systems
CPS Week 2014
CPSNA 2012
CyPhy'13
DATE 2015
Extreme Manufacturing Workshop
HotSoS 2021
National CPS PI Meeting 2016
RESILIENCE WEEK 2018
RESILIENCE WEEK 2020
RESILIENCE WEEK 2022
Robotics and Cyber-Physical Systems 2008
SCC Meeting 2017
8th International Workshop on Numerical Software Verification (NSV-VIII)
CPSNA 2014
CPSWEEK 2012
DATE 2013
Georgia Tech Summer School on CPS 2011
ICCCN 2015
RESILIENCE WEEK 2021
S&CC PI Meeting 2022
SaTC Pi Meeting 2017
SCC Meeting 2020
Workshop on Security and Privacy in CPS 2008
Big Data Analytics in CPS: Enabling the move from IoT to real time control
CSER 2014
DANCE 2012
DSN 2013
ICCPS 2011
ICESS 2015
SaTC PI Meeting 2022
SCC Meeting 2021
CPS Community Forum 2015
Cyber2025
DATE 2012
ECBS 2013
IEEE SMC 2011
ISORC 2015
SCC Meeting 2022
2007
CyPhy'14
ESWeek 2013
Intelligent Vehicles Symposium
MODELS 2015
NIST Foundations for Innovation in Cyber-Physical Systems Workshop
Second International Workshop on Robotic Sensor Networks
DATE 2014
DSMDS 2012
ICCCN 2013
Interdisciplinary Modeling of Cyber-Physical Systems
PECCS 2015
Second International Workshop on the Swarm at the Edge of the Cloud
DSN 2012
DSN 2014
ICESS 2013
ISRCS 2011
Real-Time Systems Symposium (RTSS) 2015
ECBS 2012
ESWeek 2014
ISORC 2013
National CPS PI Meeting 2011
SenSys 2015
2008
ESWeek 2012
HotSoS 2014
MODELS 2013
National HCSS Conference 2011
SMC 2015
ESWeek 2015
ICCCN 2014
Intelligent Vehicles Symposium 2012
National CPS PI Meeting 2013
Real-Time Systems Symposium - RTSS 2011
Foundation for Innovation in CPS
ICESS 2014
National HCSS Conference 2013
System Design Languages 2011
Distributed Architecture Modeling for Novel Component Based Embedded systems
ICCCN 2012
ISORC 2014
NSF Workshop on Cloud Computing for Cyber-Physical Systems
ICESS 2012
MODELS 2014
Real-Time Systems Symposium - RTSS 2013
Robotics and CPS
ICEUC 2012
MODELS 2011
National CPS PI Meeting 2014
SenSys 2013
1st US-EU Workshop on Networked Embedded and Control Systems - CPS
ISORC 2012
National HCSS Conference 2014
SMC 2013
ESWEEK 2011
ISRCS 2012
PECCS 2014
Cybersecurity for Cyber-Physical Systems
Real-Time Systems Symposium - RTSS 2014
SenSys 2011
2009
LCTES 2012
SECPS -Dagstuhl
SenSys 2014
MODELS 2012
SMC 2014
Software Certification Consortium Meeting #7
National HCSS Conference 2012
Software Certification Consortium Meeting #8
PECCS 2012
Real-Time Systems Symposium - RTSS 2012
SAE 2012 World Congress
2010
S5 2012
SDL 2012
National CPS PI Meeting 2012
London Workshop on the Control of Cyber-Physical Systems
SaTC PI Meeting 2012
SenSys 2012
SMC 2012
Software Certification Consortium Meeting #9
2011
2012
2016
2013
2014
2015
2017
2018
2019
2020
2021
2022
2023
Academia
AFOSR
Albania
CCC
Belgium
DARPA
Bulgaria
Countries
DHS
Canada
DOT
Croatia
FDA
Czech Rep
IARPA
Estonia
NIST
Finland
NITRD
France
NSA
Germany
NSF
Greece
OSTP
Hungary
OSD
Iceland
Italy
Latvia
Lithuania
Luxembourg
Montenegro
Netherlands
North Macedonia
Norway
Poland
Portugal
Romania
Slovakia
Slovenia
Spain
Sweden
Turkey
United States of America
United Kingdom
U.S. Government
EU Commission
Industry
Legislative
Professional Organization
Research Organization
Document Source
Agenda
Article
Abstract
Book
Annotated Reference
Conference paper
Announcement
Journal paper
Call for Proposal
Position Paper
Congressional Testimony
Technical Report
Courseware
Dataset
Documentation
Draft
Executive Summary
Meeting Minutes
Memo
Model
Poster
Presentation
Press release
Publications
Report
Statute
Synopsis
Tool
White Paper
Document Type
HCSS: Topics
Compositional Reasoning (HCSS'12)
Cryptol Tutorial (HCSS'11)
Designed-In Security (HCSS'13)
Designed-In Security (HCSS'14)
HCSS 2023
HCSS'16 Poster Session
HCSS'23 Poster Session
Privacy (HCSS'15)
Program Agendas / Conference Booklets
Related Papers
Related Papers
Cyber-Physical Systems (HCSS'11)
Designed-In Security (HCSS'12)
HCSS 2022
HCSS'19 Poster Session
JavaScript (HCSS'13)
Mobility (HCSS'14)
Presentations
Proof Engineering (HCSS'15)
Evidence (HCSS'11)
Formal Synthesis (HCSS'12)
HCSS 2021
HCSS'17 Poster Session
HW/SW (HCSS'13)
Reasoning about Control (HCSS'14)
Sustainable Integrity (HCSS'15)
HCSS 2020
Science of Security (HCSS'11)
SMT (HCSS'13)
Specifications and Requirements (HCSS'14)
Technology Transfer (HCSS'12)
Template
HCSS 2019
HCSS'15: Poster Session
HCSS/CAS Tools and Technologies
HCSS 2018
HCSS'14: Poster Session
HCSS 2017
HCSS'13: Poster Session
HCSS 2016
HCSS'12 Poster Session
HCSS 2015
HCSS 2014
HCSS 2013
HCSS 2012
HCSS 2011
HCSS 2010
HCSS 2009
HCSS 2008
HCSS 2007
HCSS 2006
HCSS 2005
HCSS 2004
HCSS 2003
HCSS 2002
HCSS 2001
Posters
Papers
inbox
Keywords
SoS Documents: By Topic
Access Control
Applied Cryptography
Attack Space
Biometrics
Block and Stream Ciphers
CMU
Composition
Critical Infrastructure Protection
Cryptographic Protocols
Cryptography
Cyber Attacks
Data Anonymization and Sanitization
Digital Signatures
Domain-Specific Security and Privacy Architectures
Economics of Security and Privacy
Embedded Systems Security
Enterprise Network Security
Externalities
Hardware-Based Security Protocols
Information Leakage
Information Privacy
Malicious Design Modifications
Malware Containment
Measuring Security
Mobile Platform Security
Phishing
Trust and reputation systems
Unauthorized Access
Usable Privacy
Authentication
Biologically-Inspired Defenses
Cryptanalysis and Other Attacks
Cyber Security
Database Activity Monitoring
Formal Security Models
Graphical/Visual Passwords
Hardware Attacks and Countermeasures
Hash Functions and Message Authentication Codes
Intrusion Detection Systems
Mobile and Wireless Security
NCSU
Penetration Testing
Privacy Protections
Public Key Encryption
Reference Monitors
Side-Channel Analysis and Countermeasures
Social Engineering
Social Network Security and Privacy
Trust management policies
Usable Security
Authorization
Browser Security
Database and Storage Security
Encryption
Hardware Reverse Engineering
Identity Management
Indistinguishability
Information Accountability and Usage Control
Malware and Its Mitigation
Monitoring
NSA
Security Assurance Analysis
Social Aspects of Security and Privacy
Software Reverse Engineering
Spoofing
Trust models
Trusted Computing
Denial-of-Service Attacks
Digital Rights Management
Formal Methods and Theory of Security
Hardware Security Implementation
Information-Theoric Techniques
Logic and Verification
Management and Querying of Encrypted Data
Multi-Factor Authentication
Network Monitoring
Social Engineering Attacks
Software Security Engineering
Trusted platforms
UIUC
Usability in Security and Privacy
Vulnerability Scanners
Distributed Systems Security
Human and Societal Aspects of Security and Privacy
Key Management
Nash Equilibrium
Privacy-Preserving Protocols
Security Protocols
Tamper-Proof/Resistant Designs
Vanderbilt
Virtualization and Security
Web Application Security
File System Security
Intrusion/Anomaly Detection and Malware Mitigation
Mathematical Foundations of Cryptography
Pseudonymity, Anonymity and Untraceability
Security Metrics
Web Protocol Security
ACM CCS
Firewalls
Network Security
Public Key (asymmetric) Techniques
Security Requirements
Information Flow Control
Secret Key Generation
Security in Hardware
Security Theory
Moving-Target Defense
Security Services
Software Security Metrics
Symmetric Cryptography and Hash Functions
Operating Systems Security
Software and Application Security
Trust Frameworks
Security Certification
Systems Security
Security by Obscurity
Vulnerability Management
Johns Hopkins Big Data Analytics
NSA SoS Lablets Materials
3-D Printing
Aerospace
Agriculture
Architectures
Architectures
Automotive
Certification
Chemical Sector
Commercial Facilities Sector
Communications Sector
CPS Domains
Critical Manufacturing Sector
Dams Sector
Defense Industrial Base Sector
Emergency Services Sector
Energy Efficient Buildings
Energy Sector
Financial Services Sector
Food and Agriculture Sector
Government Facilities Sector
Healthcare and Public Health Sector
Heterogeneous Timing
Hybrid Models
Information Technology Sector
Medical Devices
Networked Control
Nuclear Power Generation
Nuclear Reactors, Materials, and Waste Sector
Probabilistic and Statistical Verification
SCADA Systems
Secure Control Systems
Transportation Systems Sector
Water and Wastewater Systems Sector
Avionics
Composition
Consumer
Design Automation Tools
Ground Vehicles
Models of Computation
Multi-models
Quantitative Verification
Smart Grid
Communication
Concurrency and Timing
Embedded Software
Model Integration
Real-time Systems
Space Systems
Testing
Control
Defense
Platforms
Semantics
Time Synchronization
Energy
Modeling
Systems Engineering
Critical Infrastructure
Real-Time Coordination
Wireless Sensing and Actuation
Health Care
Resilient Systems
Manufacturing
Science of System Integration
Robotics
Science of Security
Simulation
Transportation
Validation and Verification
CPS Technologies
Education
Foundations
Science Policy
Research Program Overview
Topics
Delete