Announcement

event

Visible to the public  PhD Thesis Defense: Assessing the Global Cyber and Biological Threat
Apr 14, 2015 9:00 am - 11:00 am EDT

Title: Assessing the Global Cyber and Biological Threat
Candidate: Ghita Mezzour
When: Tue April 14, 9-11am,
Where: GHC 6115, Carnegie Mellon University

forum

Visible to the public University of Illinois invites applications for postdoc on trustworthy systems

The Information Trust Institute at the University of Illinois at Urbana-Champaign is seeking applicants for the Herman M. Dieckamp endowed postdoctoral fellowship. The successful candidate will conduct research on trustworthy systems (e.g., highly reliable, fail-safe, and/or resilient), particularly those systems which protect critical infrastructure.

event

Visible to the public  Graduate Summer School: Games and Contracts for Cyber-Physical Security
Jul 07, 2015 9:00 am - Jul 23, 2015 4:30 pm CDT

This summer school will provide a rare opportunity for researchers in mathematics, computer science, engineering, and related sciences to learn about recent research directions and future challenges in this area. Funding is available to support graduate students and postdoctoral researchers in the early stages of their career, as well as more senior researchers interested in undertaking new research in this area. Encouraging the careers of women and minority mathematicians and scientists is an important component of IPAM's mission, and we welcome their applications.

forum

Visible to the public Graduate Summer School: Games and Contracts for Cyber-Physical Security

Institute for Pure and Applied Mathematics
Los Angeles, California

Graduate Summer School: Games and Contracts for Cyber-Physical Security
July 7-23, 2015

Organizing Committee
Saurabh Amin (MIT), Asu Ozdaglar (MIT), and Galina Schwartz (UC Berkeley)

forum

Visible to the public CfP: TII-SACPS 2015 : Special Section on Smart Agents and Cyber-Physical Systems for Future Industrial Systems

TII-SACPS 2015 : Special Section on Smart Agents and Cyber-Physical Systems for Future Industrial System

to be published in the IEEE Transactions on Industrial Informatics

SS on Smart Agents and Cyber-Physical Systems for Future Industrial Systems to be published in the IEEE Transactions on Industrial Informatics

forum

Visible to the public 2nd CFP: 8th Interaction and Concurrency Experience (ICE 2015), June 5, 2015, Grenoble, France

8th Interaction and Concurrency Experience

June 5, 2015, Grenoble, France | discotec2015.inria.fr/ice-2015

Satellite workshop of DisCoTec 2015 | http://discotec2015.inria.fr

Highlights

forum

Visible to the public 2015 Safe and Secure Systems and Software Symposium (S5) - Save the Date!

2015 Safe and Secure Systems and Software Symposium (S5) - Save the Date!

The Air Force Research Laboratory, Aerospace Systems Directorate, Power and Control Division will be hosting the 2015 Safe and Secure Systems and Software Symposium (S5) on

9 - 11 June 2015 at The Crowne Plaza Dayton, Ohio. Please mark your calendars!

forum

Visible to the public CfP: Graphical Models for Security - July 13

The Second International Workshop on Graphical Models for Security (GraMSec 2015)

Co-located with CSF 2015

July 13, 2015, Verona, Italy
http://gramsec.uni.lu/

Graphical security models provide an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate potential protection measures. Formal methods and computer security researchers, as well as security professionals from industry and government, have proposed various graphical security modeling schemes.