中文
相关论文

相关论文: Science Hackathons for Cyberphysical System Securi…

200 篇论文

Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-critical applications, but require rigorous testing before deployment. The complexity of these systems often precludes the use of formal verification and…

机器学习 · 计算机科学 2021-10-15 Anthony Corso , Robert J. Moss , Mark Koren , Ritchie Lee , Mykel J. Kochenderfer

Diversity-based security approaches have been studied for several decades since the 1970's. The concept of diversity-by-design emerged in the 1980's and, since then, diversity-based system design research has been explored to build more…

密码学与安全 · 计算机科学 2020-07-20 Qisheng Zhang , Abdullah Zubair Mohammed , Zelin Wan , Jin-Hee Cho , Terrence J. Moore

In hackathons, small teams work together over a specified period of time to complete a project of interest. Such time-bounded hackathon-style events have become increasingly popular across different domains in recent years. Collegiate…

计算机与社会 · 计算机科学 2019-01-10 Ei Pa Pa Pe-Than , Alexander Nolte

For two days in February 2018, 17 cybersecurity educators and professionals from government and industry met in a "hackathon" to refine existing draft multiple-choice test items, and to create new ones, for a Cybersecurity Concept Inventory…

Cyber-Physical Systems (CPS) integrate physical and embedded systems with information and communication technology systems, monitoring and controlling physical processes with minimal human intervention. The connection to information and…

密码学与安全 · 计算机科学 2024-09-17 Asila AlHarmali , Saqib Ali , Waqas Aman , Omar Hussain

With the exponential growth of cyber-physical systems (CPS), new security challenges have emerged. Various vulnerabilities, threats, attacks, and controls have been introduced for the new generation of CPS. However, there lack a systematic…

密码学与安全 · 计算机科学 2017-01-18 Abdulmalik Humayed , Jingqiang Lin , Fengjun Li , Bo Luo

Concerns for the resilience of Cyber-Physical Systems (CPS)s in critical infrastructure are growing. CPS integrate sensing, computation, control, and networking into physical objects and mission-critical services, connecting traditional…

密码学与安全 · 计算机科学 2024-05-20 Mariana Segovia-Ferreira , Jose Rubio-Hernan , Ana Rosa Cavalli , Joaquin Garcia-Alfaro

Consumer grade cyber-physical systems (CPS) are becoming an integral part of our life, automatizing and simplifying everyday tasks. Indeed, due to complex interactions between hardware, networking and software, developing and testing such…

密码学与安全 · 计算机科学 2021-03-24 Dmytro Humeniuk , Giuliano Antoniol , Foutse Khomh

Hackathons are time-bounded collaborative events of intense teamwork to build prototypes usually in the form of software, aiming to specific challenges proposed by the organizers. These events became a widespread practice in the IT…

软件工程 · 计算机科学 2022-06-13 Kiev Gama , George Valença , Pedro Alessio , Rafael Formiga , André Neves , Nycolas Lacerda

Hackathons are events in which diverse teams work together to explore, and develop solutions, software or even ideas. Hackathons have been recognized not only as public events for hacking, but also as a corporate mechanism for innovation.…

软件工程 · 计算机科学 2021-12-22 Rasmus Ulfsnes , Viktoria Stray , Nils Brede Moe , Darja Šmite

The rise of datathons, also known as data or data science hackathons, has provided a platform to collaborate, learn, and innovate in a short timeframe. Despite their significant potential benefits, organizations often struggle to…

Simulation-based approaches are among the most practical means to search for safety violations, bugs, and other unexpected events in cyber-physical systems (CPS). Where existing approaches search for simulations violating a formal…

系统与控制 · 电气工程与系统科学 2025-03-31 Semaan Douglas Wehbe , Stanley Bak

Experimental research methods describe standards to safeguard scientific integrity and reputability. These methods have been extensively integrated into traditional scientific disciplines and studied in the philosophy of science. The field…

密码学与安全 · 计算机科学 2019-05-20 Carrie Gardner , Abby Waliga , David Thaw , Sarah Churchman

In the cybersecurity research community, there is no one-size-fits-all solution for merging large numbers of heterogeneous resources and experimentation capabilities from disparate specialized testbeds into integrated experiments. The…

分布式、并行与集群计算 · 计算机科学 2018-11-09 Ryan Goodfellow , Lincoln Thurlow , Srivatsan Ravi

In recent years, tremendous effort has been spent to modernizing communication infrastructure in Cyber-Physical Systems (CPS) such as Industrial Control Systems (ICS) and related Supervisory Control and Data Acquisition (SCADA) systems.…

网络与互联网体系结构 · 计算机科学 2015-07-20 Daniele Antonioli , Nils Ole Tippenhauer

The use of edge computing can be extremely valuable in support of CPS efforts. However, few if any testbeds provide the type of resource control and provisioning required to support edge-enabled CPS experimentation. Likewise, commercial…

分布式、并行与集群计算 · 计算机科学 2019-10-04 V. K. Cody Bumgardner , Nima Seyedtalebi , Caylin Hickey

Progress in science is deeply bound to the effective use of high-performance computing infrastructures and to the efficient extraction of knowledge from vast amounts of data. Such data comes from different sources that follow a cycle…

分布式、并行与集群计算 · 计算机科学 2020-06-15 Rosa M Badia , Jorge Ejarque , Francesc Lordan , Daniele Lezzi , Javier Conejero , Javier Álvarez Cid-Fuentes , Yolanda Becerra , Anna Queralt

The recent attention towards research and development in cyber-physical energy systems has introduced the necessity of emerging multi-domain co-simulation tools. Different educational, research and industrial efforts have been set to tackle…

其他计算机科学 · 计算机科学 2018-11-19 Cornelius Steinbrink , Florian Schlögl , Davood Babazadeh , Sebastian Lehnhoff , Sebastian Rohjans , Anand Narajan

Powered by advanced information technology, more and more complex systems are exhibiting characteristics of the Cyber-Physical-Social Systems (CPSS). Understanding the mechanism of CPSS is essential to our ability to control their actions,…

多智能体系统 · 计算机科学 2022-03-01 Xiao Xue , Xiang-Ning Yu , De-Yu Zhou , Xiao Wang , Zhang-Bin Zhou , Fei-Yue Wang

Design of cyber-physical systems (CPSs) is a challenging task that involves searching over a large search space of various CPS configurations and possible values of components composing the system. Hence, there is a need for…

机器学习 · 计算机科学 2020-09-28 Prerit Terway , Kenza Hamidouche , Niraj K. Jha