English
Related papers

Related papers: Risk-Oriented Design Approach For Forensic-Ready S…

200 papers

The software development process is considered as one of the key guidelines in the creation of said software and this approach is necessary for providing a more efficient yet satisfactory output. Without separation of work into distinct…

Software Engineering · Computer Science 2020-12-15 Alya Hannah Ahmad Kamal , Caryn Chuah Yi Yen , Gan Jia Hui , Pang Sze Ling , Fatima-tuz-Zahra

Due to the increasing availability and functionality of image editing tools, many forensic techniques such as digital image authentication, source identification and tamper detection are important for forensic image analysis. In this paper,…

Computer Vision and Pattern Recognition · Computer Science 2020-02-07 Ruiting Shao , Edward J. Delp

Investigating cybersecurity incidents requires in-depth knowledge from the analyst. Moreover, the whole process is demanding due to the vast data volumes that need to be analyzed. While various techniques exist nowadays to help with…

Human-Computer Interaction · Computer Science 2021-03-08 Michal Beran , Frantisek Hrdina , Daniel Kouril , Radek Oslejsek , Kristina Zakopcanova

Following a series of high profile miscarriages of justice in the UK linked to questionable expert evidence, the post of the Forensic Science Regulator was created in 2008. The main objective of this role is to improve the standard of…

Computers and Society · Computer Science 2020-10-15 Ian Kennedy , Arosha Bandara , Blaine Price

We introduce a risk assessment framework for digital identification systems, as well as recommended best practices to enhance privacy, security, and other desirable properties in these systems. To generate these resources, we created a…

Computers and Society · Computer Science 2025-07-22 Allison Woodruff , Dirk Balfanz , Will Drewry , Mariana Raykova

In the prevailing convergence of traditional infrastructure-based deployment (i.e., Telco and industry operational networks) towards evolving deployments enabled by 5G and virtualization, there is a keen interest in elaborating effective…

Cryptography and Security · Computer Science 2023-08-21 Li Yang , Abdallah Moubayed , Abdallah Shami , Amine Boukhtouta , Parisa Heidari , Stere Preda , Richard Brunner , Daniel Migault , Adel Larabi

The purpose behind this article is to describe the features of Ftklipse, an extendable platform for computer forensics. This document designed to provide a detailed specification for the developers of Ftklipse. Ftklipse is a thick-client…

Cryptography and Security · Computer Science 2009-07-27 Marc-André Laverdière , Serguei A. Mokhov , Suhasini Tsapa , Djamel Benredjem

As software becomes more complex and assumes an even greater role in our lives, formal verification is set to become the gold standard in securing software systems into the future, since it can guarantee the absence of errors and entire…

Human-Computer Interaction · Computer Science 2021-11-17 Carolina Carreira , João F. Ferreira , Alexandra Mendes , Nicolas Christin

An area presenting new opportunities for both legitimate business, as well as criminal organizations, is Cloud computing. This work gives a strong background in current digital forensic science, as well as a basic understanding of the goal…

Computers and Society · Computer Science 2015-02-05 Joshua I. James , Yunsik Jang

Software security requirements have been traditionally considered as a non-functional attribute of the software. However, as more software started to provide services online, existing mechanisms of using firewalls and other hardware to…

Software Engineering · Computer Science 2023-10-24 Asif Imran

Software testing has often to be done under severe pressure due to limited resources and a challenging time schedule facing the demand to assure the fulfillment of the software requirements. In addition, testing should unveil those software…

Software Engineering · Computer Science 2019-12-30 Michael Felderer , Ina Schieferdecker

Cyber-physical space systems are engineered systems operating within physical space with design requirements that depend on space, e.g., regarding location or movement behavior. They are built from and depend upon the seamless integration…

Software Engineering · Computer Science 2020-07-15 Nianyu Li , Christos Tsigkanos , Zhi Jin , Zhenjiang Hu , Carlo Ghezzi

Today's vehicles are becoming cyber-physical systems that do not only communicate with other vehicles but also gather various information from hundreds of sensors within them. These developments help create smart and connected (e.g.,…

Cryptography and Security · Computer Science 2018-11-09 Mumin Cebe , Enes Erdin , Kemal Akkaya , Hidayet Aksu , Selcuk Uluagac

Technological advances have enabled multiple countries to consider implementing Smart City Infrastructure to provide in-depth insights into different data points and enhance the lives of citizens. Unfortunately, these new technological…

Cryptography and Security · Computer Science 2023-03-17 Yee Ching Tok , Sudipta Chattopadhyay

Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of software cannot ensure the safe operation of…

Software Engineering · Computer Science 2016-12-12 Asim Abdulkhaleq , Stefan Wagner , Nancy Leveson

Applying security as a lifecycle practice is becoming increasingly important to combat targeted attacks in safety-critical systems. Among others there are two significant challenges in this area: (1) the need for models that can…

Systems and Control · Electrical Eng. & Systems 2020-10-19 Georgios Bakirtzis , Brandon J. Simon , Aidan G. Collins , Cody H. Fleming , Carl R. Elks

For securing systems, it is essential to manage their vulnerability posture and design appropriate security controls. Vulnerability management allows to proactively address vulnerabilities by incorporating pertinent security controls into…

Cryptography and Security · Computer Science 2025-07-09 Avi Shaked , Nan Messe

Research in cybersecurity may seem reactive, specific, ephemeral, and indeed ineffective. Despite decades of innovation in defense, even the most critical software systems turn out to be vulnerable to attacks. Time and again. Offense and…

Cryptography and Security · Computer Science 2024-09-04 Marcel Böhme

The advancing digitalization of vehicles and automotive systems bears many advantages for creating and enhancing comfort and safety-related systems ranging from drive-by-wire, inclusion of advanced displays, entertainment systems up to…

Cryptography and Security · Computer Science 2019-11-18 Stefan Marksteiner , Zhendong Ma

The rapid development of artificial intelligence methods contributes to their wide applications for forecasting various financial risks in recent years. This study introduces a novel explainable case-based reasoning (CBR) approach without a…

Computational Finance · Quantitative Finance 2021-07-20 Wei Li , Florentina Paraschiv , Georgios Sermpinis
‹ Prev 1 3 4 5 6 7 10 Next ›