English
Related papers

Related papers: Contract-based Methodology for Developing Resilien…

200 papers

A modern-day society demands resilient, reliable, and smart urban infrastructure for effective and in telligent operations and deployment. However, unexpected, high-impact, and low-probability events such as earthquakes, tsunamis,…

Systems and Control · Electrical Eng. & Systems 2023-08-08 Mansoor Ali , Faisal Naeem , Nadir Adam , Georges Kaddoum , Noor ul Huda , Muhammad Adnan , Muhammad Tariq

The interconnectivity of cyber and physical systems and Internet of things has created ubiquitous concerns of cyber threats for enterprise system managers. It is common that the asset owners and enterprise network operators need to work…

Systems and Control · Electrical Eng. & Systems 2019-08-14 Juntao Chen , Quanyan Zhu , Tamer Başar

Our future society will be increasingly digitalized, hyper-connected and globally data driven. The sixth generation (6G) and beyond 6G wireless networks are expected to bridge the digital and physical worlds by providing wireless…

Networking and Internet Architecture · Computer Science 2025-07-03 Nurul Huda Mahmood , Sumudu Samarakoon , Pawani Porambage , Mehdi Bennis , Matti Latva-aho

Engineering projects are the result of the combined effort of their members. Yet, it has been documented that labor division withing projects is unevenly distributed: some project members are specialists undertaking only few tasks, whereas…

Software Engineering · Computer Science 2026-04-21 Sebastiano A. Piccolo , Giorgio Terracina

Self-organizing cyber-physical systems are expected to become increasingly important in the context of Industry 4.0 automation as well as in everyday scenarios. Resilient communication is crucial for such systems. In general, this can be…

Networking and Internet Architecture · Computer Science 2017-01-24 Henner Heck , Olga Kieselmann , Arno Wacker

Understanding and characterizing the vulnerability of urban infrastructures, which refers to the engineering facilities essential for the regular running of cities and that exist naturally in the form of networks, is of great value to us.…

Machine Learning · Computer Science 2023-08-02 Jinzhu Mao , Liu Cao , Chen Gao , Huandong Wang , Hangyu Fan , Depeng Jin , Yong Li

Smart contracts are a key component of the Web 3.0 ecosystem, widely applied in blockchain services and decentralized applications. However, the automated execution feature of smart contracts makes them vulnerable to potential attacks due…

Cryptography and Security · Computer Science 2025-05-26 Yanli Jin , Chunpei Li , Peng Fan , Peng Liu , Xianxian Li , Chen Liu , Wangjie Qiu

Smart contracts are the cornerstone of decentralized applications and financial protocols, which extend the application of digital currency transactions. The applications and financial protocols introduce significant security challenges,…

Cryptography and Security · Computer Science 2025-04-22 Hongli Peng , Xiaoqi Li , Wenkai Li

In the contemporary world of dynamic digital solutions and services, the significance of effective and stable cloud solutions cannot be overestimated. The cloud adaptation is becoming more popular due to mobile advantages, including…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-30 Naresh Kumar Gundla

Critical infrastructure networks are a key ingredient of modern society. We discuss a general method to spot the critical components of a critical infrastructure network, i.e. the nodes and the links fundamental to the perfect functioning…

Other Condensed Matter · Physics 2009-11-10 Vito Latora , Massimo Marchiori

Software deployment can turn into a baffling problem when the components being deployed exhibit non-functional requirements. If the platform on which such components are deployed cannot satisfy their non-functional requirements, then they…

Networking and Internet Architecture · Computer Science 2009-09-29 Nicolas Le Sommer

In recent years, advanced sensors, intelligent automation, communication networks, and information technologies have been integrated into the electric grid to enhance its performance and efficiency. Integrating these new technologies has…

Systems and Control · Computer Science 2015-06-02 Reza Arghandeh , Alexandra von Meier , Laura Mehrmanesh , Lamine Mili

Increased automation has created an impetus to integrate infrastructure with wide-spread connectivity in order to improve efficiency, sustainability, autonomy, and security. Nonetheless, this reliance on connectivity and the inevitability…

Systems and Control · Electrical Eng. & Systems 2023-11-17 Tanushree Roy , Satadru Dey

Electric power grids are at risk of being compromised by high-impact cyber-security threats such as coordinated, timed attacks. Navigating this new threat landscape requires a deep understanding of the potential risks and complex attack…

Cryptography and Security · Computer Science 2021-09-29 Ömer Sen , Dennis van der Velde , Katharina A. Wehrmeister , Immanuel Hacker , Martin Henze , Michael Andres

Smart manufacturing systems involve a large number of interconnected devices resulting in massive data generation. Cloud computing technology has recently gained increasing attention in smart manufacturing systems for facilitating…

Cryptography and Security · Computer Science 2023-04-27 Aditya Pribadi Kalapaaking , Ibrahim Khalil , Mohammad Saidur Rahman , Abdelaziz Bouras

As new technologies such as the Internet of Things (IoT) are integrated into Critical National Infrastructures (CNI), new cybersecurity threats emerge that require specific security solutions. Approaches used for analysis include the…

Cryptography and Security · Computer Science 2019-04-03 Uchenna D Ani , Jeremy D McK. Watson , Jason R. C. Nurse , Al Cook , Carsten Maple

Even though much progress has been made in identifying and mitigating smart contract vulnerabilities, we often hear about coding or design issues leading to great financial losses. This paper presents our progress toward finding defects…

Logic in Computer Science · Computer Science 2024-11-01 Stefan-Claudiu Susan

This paper introduces a value-driven cybersecurity innovation framework for the transportation and infrastructure sectors, as opposed to the traditional market-centric approaches that have dominated the field. Recontextualizing innovation…

Cryptography and Security · Computer Science 2024-11-27 Lampis Alevizos , Lalit Bhakuni , Stefan Jaschke

The security of smart contracts, which are an important part of blockchain technology, has attracted much attention. In particular, reentrancy vulnerability, which is hidden and complex, poses a great threat to smart contracts. In order to…

Cryptography and Security · Computer Science 2023-12-27 Chang Chu

Monitoring the compliance of contract performance against legal obligations is important in order to detect violations, ideally, as soon as they occur. Such monitoring can nowadays be achieved through the use of smart contracts, which…

Software Engineering · Computer Science 2025-09-16 Regan Meloche , Durga Sivakumar , Amal A. Anda , Sofana Alfuhaid , Daniel Amyot , Luigi Logrippo , John Mylopoulos
‹ Prev 1 3 4 5 6 7 10 Next ›