中文
相关论文

相关论文: Automatic Detection of Fake Key Attacks in Secure …

200 篇论文

The majority of systems rely on user authentication on passwords, but passwords have so many weaknesses and widespread use that easily raise significant security concerns, regardless of their encrypted form. Users hold the same password for…

Evaluating the correctness of code generated by AI is a challenging open problem. In this paper, we propose a fully automated method, named ACCA, to evaluate the correctness of AI-generated code for security purposes. The method uses…

软件工程 · 计算机科学 2024-06-11 Domenico Cotroneo , Alessio Foggia , Cristina Improta , Pietro Liguori , Roberto Natella

Static detection technologies based on signature-based approaches that are widely used in Android platform to detect malicious applications. It can accurately detect malware by extracting signatures from test data and then comparing the…

密码学与安全 · 计算机科学 2017-09-27 Sanya Chaba , Rahul Kumar , Rohan Pant , Mayank Dave

Recent years have seen a strong uptick in both the prevalence and real-world consequences of false information spread through online platforms. At the same time, encrypted messaging systems such as WhatsApp, Signal, and Telegram, are…

密码学与安全 · 计算机科学 2021-09-13 Linsheng Liu , Daniel S. Roche , Austin Theriault , Arkady Yerukhimovich

A common security architecture, called the permission-based security model (used e.g. in Android and Blackberry), entails intrinsic risks. For instance, applications can be granted more permissions than they actually need, what we call a…

密码学与安全 · 计算机科学 2013-03-21 Alexandre Bartel , Jacques Klein , Martin Monperrus , Yves Le Traon

In today's world, computer networks have become vulnerable to numerous attacks. In both wireless and wired networks, one of the most common attacks is man-in-the-middle attacks, within which session hijacking, context confusion attacks have…

密码学与安全 · 计算机科学 2022-02-02 Kailash Gogineni , Yongsheng Mei , Guru Venkataramani , Tian Lan

Social authentication has been suggested as a usable authentication ceremony to replace manual key authentication in messaging applications. Using social authentication, chat partners authenticate their peers using digital identities…

密码学与安全 · 计算机科学 2024-02-06 Felix Linker , David Basin

The obstacles of each security system combined with the increase of cyber-attacks, negatively affect the effectiveness of network security management and rise the activities to be taken by the security staff and network administrators. So,…

密码学与安全 · 计算机科学 2025-02-06 Mamoon A. Al Jbaar , Adel Jalal Yousif , Qutaiba I. Ali

CAPTCHA (Completely Automated Public Truing test to tell Computers and Humans Apart) is a widely used technology to distinguish real users and automated users such as bots. However, the advance of AI technologies weakens many CAPTCHA tests…

机器学习 · 计算机科学 2021-01-08 Rulin Shao , Zhouxing Shi , Jinfeng Yi , Pin-Yu Chen , Cho-Jui Hsieh

Cloud-based services have become part of our day-to-day software solutions. The identity authentication process is considered to be the main gateway to these services. As such, these gates have become increasingly susceptible to aggressive…

密码学与安全 · 计算机科学 2017-11-27 Marwan Darwish , Abdelkader Ouda , Luiz Fernando Capretz

The widespread use of smartphones gives rise to new security and privacy concerns. Smartphone thefts account for the largest percentage of thefts in recent crime statistics. Using a victim's smartphone, the attacker can launch impersonation…

密码学与安全 · 计算机科学 2017-03-10 Wei-Han Lee , Ruby Lee

In this paper, we proposed an identification and data encrypt key manage protocol that can be used in some security system based on such secure devices as secure USB memories or RFIDs, which are widely used for identifying persons or other…

密码学与安全 · 计算机科学 2013-07-08 Chol-Un Kim , Dok-Jun An , Song Han

Autonomous UI agents powered by AI have tremendous potential to boost human productivity by automating routine tasks such as filing taxes and paying bills. However, a major challenge in unlocking their full potential is security, which is…

密码学与安全 · 计算机科学 2025-05-20 Ivan Evtimov , Arman Zharmagambetov , Aaron Grattafiori , Chuan Guo , Kamalika Chaudhuri

Mobile mini-programs in WeChat have gained significant popularity since their debut in 2017, reaching a scale similar to that of Android apps in the Play Store. Like Google, Tencent, the provider of WeChat, offers APIs to support the…

密码学与安全 · 计算机科学 2023-06-16 Yue Zhang , Yuqing Yang , Zhiqiang Lin

The social demand for email end-to-end encryption is barely supported by mainstream service providers. Autocrypt is a new community-driven open specification for e-mail encryption that attempts to respond to this demand. In Autocrypt the…

密码学与安全 · 计算机科学 2018-10-15 Bogdan Kulynych , Wouter Lueks , Marios Isaakidis , George Danezis , Carmela Troncoso

Despite being more secure and strongly promoted, two-factor (2FA) or multi-factor (MFA) schemes either fail to protect against recent phishing threats such as real-time MITM, controls/relay MITM, malicious browser extension-based phishing…

密码学与安全 · 计算机科学 2024-06-14 Sneha Shukla , Gaurav Varshney , Shreya Singh , Swati Goel

As a widely deployed security scheme, text-based CAPTCHAs have become more and more difficult to resist machine learning-based attacks. So far, many researchers have conducted attacking research on text-based CAPTCHAs deployed by different…

计算机视觉与模式识别 · 计算机科学 2020-08-27 Chunhui Li , Xingshu Chen , Haizhou Wang , Yu Zhang , Peiming Wang

Users' devices, e.g., smartphones or laptops, are typically incapable of securely storing and processing cryptographic keys. We present Tandem, a novel set of protocols for securing cryptographic keys with support from a central server.…

密码学与安全 · 计算机科学 2020-07-14 Wouter Lueks , Brinda Hampiholi , Greg Alpár , Carmela Troncoso

Many security techniques working at the physical layer need a correct channel state information (CSI) at the transmitter, especially when devices are equipped with multiple antennas. Therefore such techniques are vulnerable to pilot…

信息论 · 计算机科学 2016-09-09 Stefano Tomasin , Ingmar Land , Frédéric Gabry

Security verification of communication protocols in industrial and safety-critical systems is challenging because implementations are often proprietary, accessible only as black boxes, and too complex for manual modeling. As a result,…

密码学与安全 · 计算机科学 2026-03-02 Stefan Marksteiner , Mikael Sjödin , Marjan Sirjani