Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleMay 2024
Blockchain Censorship
- Anton Wahrstätter,
- Jens Ernstberger,
- Aviv Yaish,
- Liyi Zhou,
- Kaihua Qin,
- Taro Tsuchiya,
- Sebastian Steinhorst,
- Davor Svetinovic,
- Nicolas Christin,
- Mikolaj Barczentewicz,
- Arthur Gervais
WWW '24: Proceedings of the ACM Web Conference 2024May 2024, Pages 1632–1643https://doi.org/10.1145/3589334.3645431Permissionless blockchains promise resilience against censorship by a single entity. This suggests that deterministic rules, not third-party actors, decide whether a transaction is appended to the blockchain. In 2022, the U.S. ØFAC sanctioned a Bitcoin ...
- research-articleFebruary 2024
BaseSAP: Modular Stealth Address Protocol for Programmable Blockchains
IEEE Transactions on Information Forensics and Security (TIFS), Volume 192024, Pages 3539–3553https://doi.org/10.1109/TIFS.2024.3364081Stealth addresses represent an approach to enhancing privacy within public and distributed blockchains, such as Ethereum and Bitcoin. Stealth address protocols employ a distinct, randomly generated address for the recipient, thereby concealing ...
- research-articleJanuary 2023
Improving Cryptocurrency Crime Detection: CoinJoin Community Detection Approach
IEEE Transactions on Dependable and Secure Computing (TDSC), Volume 20, Issue 6Nov.-Dec. 2023, Pages 4946–4956https://doi.org/10.1109/TDSC.2023.3238412The potential of Bitcoin for money laundering and terrorist financing represents a significant challenge in law enforcement. In recent years, the use of privacy-improving CoinJoin transactions has grown significantly and helped criminal actors obfuscate ...
- research-articleOctober 2022
Towards situational aware cyber-physical systems: A security-enhancing use case of blockchain-based digital twins
- Sabah Suhail,
- Saif Ur Rehman Malik,
- Raja Jurdak,
- Rasheed Hussain,
- Raimundas Matulevičius,
- Davor Svetinovic
Computers in Industry (CIIN), Volume 141, Issue COct 2022https://doi.org/10.1016/j.compind.2022.103699AbstractThe complexity of cyberattacks in Cyber-Physical Systems (CPSs) calls for a mechanism that can evaluate critical infrastructures’ operational behaviour and security without affecting the operation of live systems. In this regard, ...
Highlights- Significance of integrating blockchain-based digital twins to secure Cyber-Physical Systems.
- research-articleApril 2022
Boosted Harris Hawks gravitational force algorithm for global optimization and industrial engineering problems
Journal of Intelligent Manufacturing (SPJIM), Volume 34, Issue 6Aug 2023, Pages 2693–2728https://doi.org/10.1007/s10845-022-01921-4AbstractHarris Hawks Optimization (HHO) is a newly proposed metaheuristic algorithm, which primarily works based on the cooperative system and chasing behavior of Harris’ hawks. In this paper, an augmented modification called HHMV is proposed to alleviate ...
-
- invited-talkApril 2017
Blockchain Engineering for the Internet of Things: Systems Security Perspective
IoTPTS '17: Proceedings of the 3rd ACM International Workshop on IoT Privacy, Trust, and SecurityApril 2017, Page 1https://doi.org/10.1145/3055245.3055256The Internet of Things (IoT) technology has a potential to bring the benefits of intelligently interconnecting not just computers and humans, but most of everyday things. IoT has a promise of opening significant business process improvement ...
- articleJuly 2016
Goal-Oriented Requirements Engineering for Research-Intensive Complex Systems: A Case Study
Systems Engineering (SYSE), Volume 19, Issue 4July 2016, Pages 322–333https://doi.org/10.1002/sys.21355Complex systems in research and development exhibit important characteristics that might present significant systems engineering challenges due to lack of clear customers, system goals, previous development experience, etc. Such systems are ...
- ArticleNovember 2015
Software Clone Detection Using Clustering Approach
ICONIP 2015: Proceeings, Part II, of the 22nd International Conference on Neural Information Processing - Volume 9490November 2015, Pages 520–527https://doi.org/10.1007/978-3-319-26535-3_59Code clones are highly similar or identical code segments. Identification of clones helps improve software quality through managed evolution, refactoring, complexity reduction, etc. In this study, we investigate Type 1 and Type 2 function clones using a ...
- research-articleOctober 2015
Integrated smart grid systems security threat model
Information Systems (ISYS), Volume 53, Issue COctober 2015, Pages 147–160https://doi.org/10.1016/j.is.2014.12.002The smart grid (SG) integrates the power grid and the Information and Communication Technology (ICT) with the aim of achieving more reliable and safe power transmission and distribution to the customers. Integrating the power grid with the ICT exposes ...
- articleMarch 2015
Bitcoin-Based Decentralized Carbon Emissions Trading Infrastructure Model
Systems Engineering (SYSE), Volume 18, Issue 2March 2015, Pages 115–130https://doi.org/10.1002/sys.21291This paper presents a system-of-systems architecture model for a Decentralized Carbon Emissions Trading Infrastructure D-CETI with focus on privacy and system security goals. The structure and behavior are implemented as a solution to the problem of ...
- ArticleSeptember 2014
Towards Reference Architecture for Cryptocurrencies: Bitcoin Architectural Analysis
ITHINGS '14: Proceedings of the 2014 IEEE International Conference on Internet of Things(iThings), and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom)September 2014, Pages 436–443https://doi.org/10.1109/iThings.2014.78Bit coin is a new protocol with a potential to revolutionize financial system. Bit coin has a complex structure, where several interacting components build a peer-to-peer currency and a payment system without relying on any trusted third party. Bit coin ...
- ArticleSeptember 2014
Argumentation-Based Security Requirements Analysis: BitMessage Case Study
ITHINGS '14: Proceedings of the 2014 IEEE International Conference on Internet of Things(iThings), and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom)September 2014, Pages 408–414https://doi.org/10.1109/iThings.2014.74Developers have to ensure that their systems meet certain security requirements. Structured argumentation can be a powerful tool for developers to deal with system behavior, vulnerabilities, and threats. Haley's framework is based on construction of a ...
- articleMarch 2014
System Security Requirements Analysis: A Smart Grid Case Study
Systems Engineering (SYSE), Volume 17, Issue 1March 2014, Pages 77–88https://doi.org/10.1002/sys.21252One of the main concerns in development and operation of mission-critical systems is system security. It is of critical importance to properly specify and implement system security requirements. In this paper, we apply a system security requirements ...
- articleMarch 2014
Functional and Spatial System Model for City Infrastructure Systems: A City.Net IES Case Study
Systems Engineering (SYSE), Volume 17, Issue 1March 2014, Pages 62–76https://doi.org/10.1002/sys.21251City infrastructure systems have distinct functions but are not isolated from one another, with interactions existing between these systems. Modeling these systems requires a focus on the system functions and interdependencies. Most models focus on ...
- articleSeptember 2013
Evaluating the effectiveness of the security quality requirements engineering (SQUARE) method: a case study using smart grid advanced metering infrastructure
Requirements Engineering (REQE), Volume 18, Issue 3September 2013, Pages 251–279https://doi.org/10.1007/s00766-012-0153-4This paper presents an evaluation of the security quality requirements engineering (SQUARE) method. The evaluation of SQUARE was conducted by its application on the advanced metering infrastructure of smart grid as a case study. We evaluated the ...
- ArticleAugust 2013
Smart Grid Wireless Network Security Requirements Analysis
GREENCOM-ITHINGS-CPSCOM '13: Proceedings of the 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social ComputingAugust 2013, Pages 871–878https://doi.org/10.1109/GreenCom-iThings-CPSCom.2013.153Power grids are being enhanced by integrating the Information and Communication Technology (ICT) to make them more reliable, economic, efficient, and environmentally friendly. The integration of power grids with ICT to build Smart Grids (SGs) has ...
- ArticleNovember 2012
Smart Grid Consumer-Provider Relationship Analysis Using System Modeling Approach
GREENCOM '12: Proceedings of the 2012 IEEE International Conference on Green Computing and CommunicationsNovember 2012, Pages 603–606https://doi.org/10.1109/GreenCom.2012.95One of the main goals in the smart grid development is the continuous evolution of the smart grid as a cyber-physical system to accommodate electricity storage, provide safe power delivery, accommodate the needs of the local communities, facilitate the ...
- ArticleNovember 2012
Requirements Model for a High-Privacy Decentralized Carbon Emissions Trading Platform
GREENCOM '12: Proceedings of the 2012 IEEE International Conference on Green Computing and CommunicationsNovember 2012, Pages 450–453https://doi.org/10.1109/GreenCom.2012.71This paper elicits and models the requirements of a decentralized carbon emissions trading platform (CarboCoin). CarboCoin platform is based on the Bit coin, a peer-to-peer digital currency with no central authority. CarboCoin is focused on providing ...
- articleSeptember 2010
On confusion between requirements and their representations
Requirements Engineering (REQE), Volume 15, Issue 3September 2010, Pages 307–311https://doi.org/10.1007/s00766-009-0095-7Requirements representations are often confused with requirements. This confusion is not just widespread in practice, but it exists even in the latest requirements engineering research and theory, leading to a number of negative consequences. In this ...
- ArticleJuly 2008
Requirements vs. Software Design: An Explanation Based on the Distinction between Concepts and Their Representations
ICCGI '08: Proceedings of the 2008 The Third International Multi-Conference on Computing in the Global Information Technology (iccgi 2008)July 2008, Pages 102–106https://doi.org/10.1109/ICCGI.2008.12Still, requirements and software design are often confused with one another. We provide a new (partial) explanation for this phenomenon, based on the insight that representations of concepts related to requirements and software design, respectively, may ...