English
Related papers

Related papers: Gelato: Feedback-driven and Guided Security Analys…

200 papers

Today, telecommunication service providers (telcos) are exposed to cyber-attacks executed by compromised IoT devices connected to their customers' networks. Such attacks might have severe effects not only on the target of attacks but also…

Cryptography and Security · Computer Science 2019-06-03 Yair Meidan , Vinay Sachidananda , Yuval Elovici , Asaf Shabtai

This work addresses JavaScript malware detection to enhance client-side web application security with a behavior-based system. The ability to detect malicious JavaScript execution sequences is a critical problem in modern web security as…

Cryptography and Security · Computer Science 2025-05-28 Pedro Pereira , José Gonçalves , João Vitorino , Eva Maia , Isabel Praça

Internet of Things is growing rapidly, with many connected devices now available to consumers. With this growth, the IoT apps that manage the devices from smartphones raise significant security concerns. Typically, these apps are secured…

Cryptography and Security · Computer Science 2018-11-06 Davino Mauro Junior , Kiev Gama , Atul Prakash

Nowadays, almost all electronic devices include a communication interface that allows to interact with them, exchange data, or operate their services remotely. The trend toward increased interconnectivity simultaneously increases the…

Cryptography and Security · Computer Science 2021-07-22 Korbinian Christl , Thorsten Tarrach

This paper describes MessageGuard, a browser-based platform for research into usable content-based encryption. MessageGuard is designed to enable collaboration between security and usability researchers on long-standing research questions…

Cryptography and Security · Computer Science 2016-05-17 Scott Ruoti , Jeff Andersen , Tyler Monson , Daniel Zappala , Kent Seamons

This articles surveys the existing literature on the methods currently used by web services to track the user online as well as their purposes, implications, and possible user's defenses. A significant majority of reviewed articles and web…

Computers and Society · Computer Science 2015-07-29 Tomasz Bujlow , Valentín Carela-Español , Josep Solé-Pareta , Pere Barlet-Ros

To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order to take advantage of the strengths of each technique for…

Performance · Computer Science 2010-06-29 Karine Altisen , Yanhong Liu , Matthieu Moy

To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order to take advantage of the strengths of each technique for…

Performance · Computer Science 2010-04-16 Karine Altisen , Yanhong Liu , Matthieu Moy

Web Real-Time Communication (WebRTC) enables real-time peer-to-peer communication, but its Interactive Connectivity Establishment (ICE) process can unintentionally expose internal and public IP addresses as metadata. This paper presents a…

Cryptography and Security · Computer Science 2025-10-21 Ahmed Fouad Kadhim Koysha , Aytug Boyaci , Rafet Akdeniz

In the rapidly evolving landscape of software engineering, the demand for robust and secure systems has become increasingly critical. This is especially true for self-adaptive systems due to their complexity and the dynamic environments in…

Cryptography and Security · Computer Science 2026-04-07 Irdin Pekaric , Raffaela Groner , Alexander Raschke , Thomas Witte , Jubril Gbolahan Adigun , Michael Felderer , Matthias Tichy

Low-code development frameworks for IoT platforms offer a simple drag-and-drop mechanism to create applications for the billions of existing IoT devices without the need for extensive programming knowledge. The security of such software is…

Cryptography and Security · Computer Science 2025-02-14 Simon Schneider , Komal Kashish , Katja Tuma , Riccardo Scandariato

Federated learning (FL) is an emerging distributed machine learning framework for collaborative model training with a network of clients (edge devices). FL offers default client privacy by allowing clients to keep their sensitive data on…

Machine Learning · Computer Science 2020-04-24 Wenqi Wei , Ling Liu , Margaret Loper , Ka-Ho Chow , Mehmet Emre Gursoy , Stacey Truex , Yanzhao Wu

Federated learning is a versatile framework for training models in decentralized environments. However, the trust placed in clients makes federated learning vulnerable to backdoor attacks launched by malicious participants. While many…

Cryptography and Security · Computer Science 2024-12-23 Borja Molina-Coronado

IT-security experts engage in behavior-based malware analysis in order to learn about previously unknown samples of malicious software (malware) or malware families. For this, they need to find and categorize suspicious patterns from large…

Cryptography and Security · Computer Science 2017-02-27 Markus Wagner , Alexander Rind , Niklas Thür , Wolfgang Aigner

A lack of awareness surrounding secure online behaviour can lead to end-users, and their personal details becoming vulnerable to compromise. This paper describes an ongoing research project in the field of usable security, examining the…

Human-Computer Interaction · Computer Science 2018-06-20 Lynsay A. Shepherd , Jacqueline Archibald

The web is used daily by billions. Even so, users are not protected from many threats by default. This position paper builds on previous web privacy and security research and introduces JShelter, a webextension that fights to return the…

Cryptography and Security · Computer Science 2023-05-08 Libor Polčák , Marek Saloň , Giorgio Maone , Radek Hranický , Michael McMahon

Internet of Things (IoT) devices are becoming increasingly important. These devices are often resource-limited, hindering rigorous enforcement of security policies. Assessing the vulnerability of IoT devices is an important problem, but…

Cryptography and Security · Computer Science 2019-01-30 Davino Mauro Junior , Luis Melo , Harvey Lu , Marcelo d'Amorim , Atul Prakash

Quantum secure direct communication provides a direct means of conveying secret information via quantum states among legitimate users. The past two decades have witnessed its great strides both theoretically and experimentally. However, the…

Quantum Physics · Physics 2021-09-14 Zhangdong Ye , Dong Pan , Zhen Sun , Chunguang Du , Liuguo Yin , Guilu Long

Achieving situational awareness is a challenging process in current HTTPS-dominant web traffic. In this paper, we propose a new approach to encrypted web traffic monitoring. First, we design a method for correlating host-based and network…

Cryptography and Security · Computer Science 2022-06-23 Stanislav Špaček , Petr Velan , Pavel Čeleda , Daniel Tovarňák

In evolving cyber landscapes, the detection of malicious URLs calls for cooperation and knowledge sharing across domains. However, collaboration is often hindered by concerns over privacy and business sensitivities. Federated learning…

Cryptography and Security · Computer Science 2023-12-07 Yujie Li , Yanbin Wang , Haitao Xu , Zhenhao Guo , Fan Zhang , Ruitong Liu , Wenrui Ma