TY  - GEN
A1  - Klieme, Eric
A1  - Tietz, Christian
A1  - Meinel, Christoph
T1  - Beware of SMOMBIES
BT  - Verification of Users based on Activities while Walking
T2  - The 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom 2018)/the 12th IEEE International Conference on Big Data Science and Engineering (IEEE BigDataSE 2018)
N2  - Several research evaluated the user's style of walking for the verification of a claimed identity and showed high authentication accuracies in many settings. In this paper we present a system that successfully verifies a user's identity based on many real world smartphone placements and yet not regarded interactions while walking. Our contribution is the distinction of all considered activities into three distinct subsets and a specific one-class Support Vector Machine per subset. Using sensor data of 30 participants collected in a semi-supervised study approach, we prove that unsupervised verification is possible with very low false-acceptance and false-rejection rates. We furthermore show that these subsets can be distinguished with a high accuracy and demonstrate that this system can be deployed on off-the-shelf smartphones.
KW  - gait
KW  - authentication
KW  - smartphone
KW  - activities
KW  - verification
KW  - behavioral
KW  - continuous
Y1  - 2018
SN  - 978-1-5386-4387-7
SN  - 978-1-5386-4389-1
U6  - https://doi.org/10.1109/TrustCom/BigDataSE.2018.00096
SN  - 2324-9013
SP  - 651
EP  - 660
PB  - IEEE
CY  - New York
ER  - 
TY  - GEN
A1  - Krstić, Miloš
A1  - Jentzsch, Anne-Kristin
T1  - Reliability, safety and security of the electronics in automated driving vehicles - joint lab lecturing approach
T2  - 2018 12TH European Workshop on Microelectronics Education (EWME)
N2  - This paper proposes an education approach for master and bachelor students to enhance their skills in the area of reliability, safety and security of the electronic components in automated driving. The approach is based on the active synergetic work of research institutes, academia and industry in the frame of joint lab. As an example, the jointly organized summer school with the respective focus is organized and elaborated.
KW  - reliability
KW  - safety
KW  - security
KW  - automated driving
KW  - joint lab
Y1  - 2018
SN  - 978-1-5386-1157-9
SP  - 21
EP  - 22
PB  - IEEE
CY  - New York
ER  - 
TY  - GEN
A1  - Bosser, Anne-Gwenn
A1  - Cabalar, Pedro
A1  - Dieguez, Martin
A1  - Schaub, Torsten H.
T1  - Introducing temporal stable models for linear dynamic logic
T2  - 16th International Conference on Principles of Knowledge Representation and Reasoning
N2  - We propose a new temporal extension of the logic of Here-and-There (HT) and its equilibria obtained by combining it with dynamic logic over (linear) traces. Unlike previous temporal extensions of HT based on linear temporal logic, the dynamic logic features allow us to reason about the composition of actions. For instance, this can be used to exercise fine grained control when planning in robotics, as exemplified by GOLOG. In this paper, we lay the foundations of our approach, and refer to it as Linear Dynamic Equilibrium Logic, or simply DEL. We start by developing the formal framework of DEL and provide relevant characteristic results. Among them, we elaborate upon the relationships to traditional linear dynamic logic and previous temporal extensions of HT.
Y1  - 2018
UR  - https://www.dc.fi.udc.es/~cabalar/del.pdf
SP  - 12
EP  - 21
PB  - ASSOC Association for the Advancement of Artificial Intelligence
CY  - Palo Alto
ER  -