IoT Forensic -- A digital investigation framework for IoT systems

Security issues, threats, and attacks in relation with the IoT have been identified as promising and challenging area of research. Eventually, the need for a forensics methodology for investigating IoT-related crime is therefore essential. However, the IoT poses many challenges for forensics investigators. These include the wide range and variety of information, the unclear lines of differentiation between networks, for example private networks increasingly fading into public networks. Further, integration of a large number of objects in IoT forensic interest, along with the relevance of identified and collected devices makes forensic of IoT devices more complicated. The scope of this paper is to present a framework for IoT forensic. We aimed at the study and development of the link to support digital investigations of IoT devices and tackle emerging challenges in digital forensics. We emphasize on various steps for digital forensic with respect to IoT devices.Comment: Paper presented at 10th International Conference on Electronics, Computers and Artificial Intelligence, , ECAI 2018 - 28-30 June 2018 - Iasi, Romani

On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions

In this paper, we show how practical the little theorem of witness functions is in detecting security flaws in some category of cryptographic protocols. We convey a formal analysis of the Needham-Schroeder symmetric-key protocol in the theory of witness functions. We show how it helps to teach about a security vulnerability in a given step of this protocol where the value of security of a particular sensitive ticket in a sent message unexpectedly plummets compared with its value when received. This vulnerability may be exploited by an intruder to mount a replay attack as described by Denning and Sacco.Comment: Accepted at the 2019 IEEE Canadian Conference on Electrical & Computer Engineering (CCECE) on March 1, 201

Towards a reliable approach on scaling in data acquisition

Data acquisition is an important process in the functioning of any control system. Usually, the acquired signal is analogic, representing a continuous physical measure, and it should be processed in a digital system based on an analog to digital converter (ADC) and a microcontroller. The ADC provides the converted value in ADC units, but the system and its operator need the value expressed in physical units. In this paper we propose a novel design solution for the scaling module, which is a key component of a digital measurement system. The scaling module refers to fitting the sensor result of a variable number of bits depending on the ADC resolution into physical units. A general method for scaling is proposed and a SageMath script is presented for obtaining easily the scaling function. In the last part of the paper, the proposed method is validated in a case study, by calculus, and it is implemented on a low-cost development system in order to create a wireless sensor node.Comment: Paper accepted for ICSTCC 2019 - 23rd International Conference on System Theory, Control and Computing, October 9-11, 2019, Sinaia, Romani