A body of knowledge containing laws, axioms and provable theories relating to some aspect of system security.
Event
RV 2016
16th International Conference on Runtime Verification (RV 2016) Scope
Submitted by Anonymous on January 27th, 2016
Event
INDIN 2016
INDIN 2016 IEEE International Conference on Industrial Informatics Sponsored by: IEEE Industrial Electronics Society and Pprime Institute, Futuroscope-Poitiers, France INDIN2016  is 14th International Conference on Industrial Informatics sponsored by the Industrial Electronics Society of the IEEE. The  premier  conference  series  presenting  the  state  of  the  art  and  future  perspectives  of industrial information  technologies.
Submitted by Anonymous on December 23rd, 2015
Event
PETRA 2016
9th International Conference on PErvasive Technologies Related  to Assistive Environments (PETRA 2016) The PETRA conference is a highly interdisciplinary conference that focuses on computational and engineering approaches to improve the quality of life and enhance human performance in a wide range of settings, in the workplace, at home, in public spaces, urban environments, and other.
Submitted by Anonymous on December 23rd, 2015
This proposed task provides the support for a community meeting by the Federal agencies, whose mission is to advance the science and technology of cyber security, with leading experts and researchers in academia, industry, and government at the Gaylord National Hotel and Convention Center, National Harbor, Maryland. This meeting will focus on recent progress in developing the scientific foundation for the design and analysis of trusted systems. Over 150 leaders from government, industry, and the academic community met to discuss new and ongoing programs in security science being pursued by U.S. government research sponsors, and an exciting new Cybersecurity Research Institute recently established in the U.K. The presentations included work in a broad range of disciplines including mathematics, computer science, behavioral science, economics, physics, and biology. The meeting introduced a new Science of Security Virtual Organization website designed to promote research collaboration and community development. NSA's Director of Research concluded the meeting with the announcement of a Cybersecurity Science Paper Competition.
Off
Vanderbilt University
-
National Science Foundation
Chris vanBuskirk Submitted by Chris vanBuskirk on December 18th, 2015
Event
ECYPS’2016
4th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS’2016) ECYPS’2016 - the 4th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems will be held in the scope of MECO’2016 - the 5th Mediterranean Conference on Embedded Computing. It is devoted to cyber-physical systems (CPS) for modern applications that usually require high-performance, low energy consumption, high safety, security and reliability.
Submitted by Anonymous on December 8th, 2015
13th IEEE International Conference on Ubiquitous Intelligence and Computing (IEEE UIC 2016) Ubiquitous sensors, devices, networks and information are paving the way towards a smart world in which computational intelligence is distributed throughout the physical environment to provide reliable and relevant services to people.
Submitted by Anonymous on December 8th, 2015
Event
CPSSC 2016
1st International Workshop on Cyber-Physical Systems in the Context of Smart Cities 23 February 2016 | Vienna, Austria | @SE2016
Katie Dey Submitted by Katie Dey on December 2nd, 2015
Event
FORTE 2016
36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2016) Part of the DisCoTec 2016 event FORTE 2016 is a forum for fundamental research on theory, models, tools, and applications for distributed systems. The conference solicits original contributions that advance the science and technologies for distributed systems, with special interest in the areas of:
Submitted by Anonymous on November 18th, 2015
Event
WRC2016
10th HiPEAC Workshop on Reconfigurable Computing (WRC'2016) The HiPEAC Workshop on Reconfigurable Computing (WRC) provides a forum for researchers active in domains within the reconfigurable computing area. Its main focus is on reconfigurable architectures, tools and algorithms that facilitate reconfigurable systems and applications tailored for reconfigurable platforms.
Submitted by Anonymous on November 18th, 2015
Event
CF'16
ACM International Conference on Computing Frontiers 2016 (CF'16) May 16 - 18, 2016, Como, Italy |  www.computingfrontiers.org
Submitted by Anonymous on November 10th, 2015
Subscribe to Science of Security