English
Related papers

Related papers: Revocation Statuses on the Internet

200 papers

We introduce Fraud-R1, a benchmark designed to evaluate LLMs' ability to defend against internet fraud and phishing in dynamic, real-world scenarios. Fraud-R1 comprises 8,564 fraud cases sourced from phishing scams, fake job postings,…

Computation and Language · Computer Science 2025-05-27 Shu Yang , Shenzhe Zhu , Zeyu Wu , Keyu Wang , Junchi Yao , Junchao Wu , Lijie Hu , Mengdi Li , Derek F. Wong , Di Wang

The use of blockchains for data certification and traceability is now well established in both the literature and practical applications. However, while blockchain-based certification of individual data is clear and straightforward, the use…

Cryptography and Security · Computer Science 2025-11-07 Giacomo Zonneveld , Giulia Rafaiani , Massimo Battaglioni , Marco Baldi

Current popular phishing prevention techniques mainly utilize reactive blocklists, which leave a ``window of opportunity'' for attackers during which victims are unprotected. One possible approach to shorten this window aims to detect…

Cryptography and Security · Computer Science 2021-06-24 Arthur Drichel , Vincent Drury , Justus von Brandt , Ulrike Meyer

While neural networks have achieved high performance in different learning tasks, their accuracy drops significantly in the presence of small adversarial perturbations to inputs. Defenses based on regularization and adversarial training are…

Machine Learning · Computer Science 2019-02-07 Sahil Singla , Soheil Feizi

The Internet infrastructure relies entirely on open standards for its routing protocols. However, the majority of routers on the Internet are closed-source. Hence, there is no straightforward way to analyze them. Specifically, one cannot…

Cryptography and Security · Computer Science 2017-09-26 Adi Sosnovich , Orna Grumberg , Gabi Nakibly

Neural networks have become increasingly popular in controller design due to their versatility and efficiency. However, their integration into feedback systems can pose stability challenges, particularly in the presence of uncertainties.…

Optimization and Control · Mathematics 2025-03-04 Yuhao Zhang , Xiangru Xu

We explore the availability and persistence of URLs cited in articles published in D-Lib Magazine. We extracted 4387 unique URLs referenced in 453 articles published from July 1995 to August 2004. The availability was checked three times a…

Digital Libraries · Computer Science 2011-11-09 Frank McCown , Sheffan Chan , Michael L. Nelson , Johan Bollen

The collapse of social contexts has been amplified by digital infrastructures but surprisingly received insufficient attention from Web privacy scholars. Users are persistently identified within and across distinct Web contexts, in varying…

Cryptography and Security · Computer Science 2025-03-03 Ido Sivan-Sevilla , Parthav Poudel

Ensuring the safety of reinforcement learning (RL) policies in high-stakes environments requires not only formal verification but also interpretability and targeted falsification. While model checking provides formal guarantees, its…

Artificial Intelligence · Computer Science 2025-06-05 Tuan Le , Risal Shefin , Debashis Gupta , Thai Le , Sarra Alqahtani

If two or more identical HTTPS clients, located at different geographic locations (regions), make an HTTPS request to the same domain (e.g. example.com), on the same day, will they receive the same HTTPS security guarantees in response? Our…

Cryptography and Security · Computer Science 2020-10-21 Eman Salem Alashwali , Pawel Szalachowski , Andrew Martin

The security of cryptographic communication protocols that use X.509 certificates depends on the correctness of those certificates. This paper proposes a system that helps to ensure the correct operation of an X.509 certification authority…

Cryptography and Security · Computer Science 2020-04-16 Holger Kinkelin , Richard von Seck , Christoph Rudolf , Georg Carle

Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction (or abstract model of the program) whose validity entails compliance with a…

Programming Languages · Computer Science 2010-10-22 Elvira Albert , Puri Arenas , Germán Puebla , Manuel Hermenegildo

With the rapidly evolving next-generation systems-of-systems, we face new security, resilience, and operational assurance challenges. In the face of the increasing attack landscape, it is necessary to cater to efficient mechanisms to verify…

Cryptography and Security · Computer Science 2021-07-13 Heini Bergsson Debes , Thanassis Giannetsos , Ioannis Krontiris

The evil twin attack is a major security threat to WLANs. An evil twin is a rogue AP installed by a malicious user to impersonate legitimate APs. It intends to attract victims in order to intercept their credentials, to steal their…

Cryptography and Security · Computer Science 2023-02-02 Yousri Daldoul

The goal of this paper is to propose a blockchain-based platform to enhance transparency and traceability of cybersecurity certification information motivated by the recently adopted EU Cybersecurity Act. The proposed platform is generic…

Cryptography and Security · Computer Science 2019-09-17 Ricardo Neisse , José L. Hernández-Ramos , Sara N. Matheu , Gianmarco Baldini , Antonio Skarmeta

The advance of web services technologies promises to have far-reaching effects on the Internet and enterprise networks allowing for greater accessibility of data. The security challenges presented by the web services approach are…

Logic in Computer Science · Computer Science 2012-06-15 Michele Barletta , Silvio Ranise , Luca Viganò

The California Privacy Rights Act (CPRA) was a ballot initiative that revised the California Consumer Privacy Act (CCPA). Although often framed as expanding and enhancing privacy rights, a close analysis of textual revisions -- both changes…

Computers and Society · Computer Science 2023-12-27 Jan Charatan , Eleanor Birrell

Operators of Earth observation satellites need justifications for scheduling decisions: why a request was selected, rejected, or what changes would make it schedulable. Existing approaches construct post-hoc reasoning layers independent of…

Artificial Intelligence · Computer Science 2026-03-03 Najeeb Khan

The growing popularity of digital systems have paved the way for digital locker that ensures security and safety of the digital documents in store. While facilitating this system to user and availing its services offered by service…

Cryptography and Security · Computer Science 2018-10-22 Atrayee Deb , Saloni Dalal , Manik Lal Das

The rapid advancement of information technology has introduced a noticeable shift from traditional offline practices to more efficient and interconnected online environments. This transition, while offering convenience, has also increased…

Cryptography and Security · Computer Science 2026-05-20 Mohammed Mahir Rahman , Shahzad Memon , Tauseef Ahmed , Ameer Al-Nemrat