English
Related papers

Related papers: Understanding Fuchsia Security

200 papers

We describe SAFIUS, a secure accountable file system that resides over an untrusted storage. SAFIUS provides strong security guarantees like confidentiality, integrity, prevention from rollback attacks, and accountability. SAFIUS also…

Operating Systems · Computer Science 2016-11-18 V Sriram , Ganesh Narayan , K Gopinath

The Unified Extensible Firmware Interface (UEFI) is a linchpin of modern computing systems, governing secure system initialization and booting. This paper is urgently needed because of the surge in UEFI-related attacks and vulnerabilities…

Cryptography and Security · Computer Science 2023-11-08 Priyanka Prakash Surve , Oleg Brodt , Mark Yampolskiy , Yuval Elovici , Asaf Shabtai

Fuzz testing (or fuzzing) is an effective technique used to find security vulnerabilities. It consists of feeding a software under test with malformed inputs, waiting for a weird system behaviour (often a crash of the system). Over the…

Cryptography and Security · Computer Science 2023-03-14 Marcello Maugeri , Cristian Daniele , Giampaolo Bella , Erik Poll

Privacy-Preserving Cloud Computing is an emerging technology with many applications in various fields. Cloud computing is important because it allows for scalability, adaptability, and improved security. Likewise, privacy in cloud computing…

Cryptography and Security · Computer Science 2022-04-26 Saeed Ahmadi , Maliheh Salehfar

Free and open source software (FOSS) is considered by many, along with Wikipedia, the proof of an ongoing paradigm shift from hierarchically-managed and market-driven production of knowledge to heterarchical, collaborative and commons-based…

Computers and Society · Computer Science 2010-12-30 Paolo Magrassi

In this article, the file system development design approaches are discussed. The selection of the file system design approach is done according to the needs of the developers what are the needed requirements and specifications for the new…

Operating Systems · Computer Science 2014-03-25 Brijender Kahanwal

A Java File Security System (JFSS) [1] has been developed by us. That is an ecrypted file system. It is developed by us because there are so many file data breaches in the past and current history and they are going to increase day by day…

Software Engineering · Computer Science 2013-12-09 Brijender Kahanwal , Tejinder Pal Singh

The Open Source Software movement has been growing exponentially for a number of years with no signs of slowing. Driving this growth is the widespread availability of libraries and frameworks that provide many functionalities. Developers…

Software Engineering · Computer Science 2022-06-22 Stan Zajdel , Diego Elias Costa , Hafedh Mili

Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the development of systems in which safety or security is…

Logic in Computer Science · Computer Science 2009-02-24 Eric Jaeger , Thérèse Hardin

Cloud computing is a new computational paradigm that offers an innovative business model for organizations to adopt IT without upfront investment. Despite the potential gains achieved from the cloud computing, the model security is still…

Software Engineering · Computer Science 2016-09-06 Mohamed Almorsy , John Grundy , Ingo Müller

The use of Artificial Intelligence (AI) in high-risk, decision-making scenarios presents technical, safety, and normative challenges; problems that may only be ameliorated by human oversight. However, notions of human oversight lack a…

Payments architectures are on the verge of a great bifurcation that must be documented in order to be debated. Google is moving towards a quasi bank while Apple and Google disseminate payment systems over smartphones. At the same time,…

Computers and Society · Computer Science 2017-08-15 Dominique Boullier , Niranjan Sivakumar , Maxime Crepel , Stéphane Juguet

Trust is an absolute necessity for digital communications; but is often viewed as an implicit singular entity. The use of the internet as the primary vehicle for information exchange has made accountability and verifiability of system code…

Cryptography and Security · Computer Science 2014-03-04 Orhio Mark Creado , Bala Srinivasan , Phu Dung Le , Jefferson Tan

Cloud computing is revolutionizing many ecosystems by providing organizations with computing resources featuring easy deployment, connectivity, configuration, automation and scalability. This paradigm shift raises a broad range of security…

Cryptography and Security · Computer Science 2016-01-08 Ali Gholami , Erwin Laure

Until recently, cyber-physical systems, especially those with safety-critical properties that manage critical infrastructure (e.g. power generation plants, water treatment facilities, etc.) were considered to be invulnerable against…

Cryptography and Security · Computer Science 2012-02-28 Sibin Mohan , Stanley Bak , Emiliano Betti , Heechul Yun , Lui Sha , Marco Caccamo

Fuzzing is a security testing methodology effective in finding bugs. In a nutshell, a fuzzer sends multiple slightly malformed messages to the software under test, hoping for crashes or weird system behaviour. The methodology is relatively…

Cryptography and Security · Computer Science 2023-01-09 Cristian Daniele , Seyed Behnam Andarzian , Erik Poll

There is much discussion and debate about how to improve the security and privacy of mobile communication systems, both voice and data. Most proposals attempt to provide incremental improvements to systems that are deployed today. Indeed,…

Computers and Society · Computer Science 2007-05-23 G. Winfield Treese , Lawrence C. Stewart

This paper proposes a frictionless authentication system, provides a comprehensive security analysis of and proposes potential solutions for this system. It first presents a system that allows users to authenticate to services in a…

Cryptography and Security · Computer Science 2018-02-21 Mustafa A. Mustafa , Aysajan Abidin , Enrique Argones Rúa

A number of software foundations have been created as legal instruments to better articulate the structure, collaboration and financial model of Open Source Software (OSS) projects. Some examples are the Apache, Linux, or Mozilla…

Software Engineering · Computer Science 2020-05-21 Javier Luis Cánovas Izquierdo , Jordi Cabot

Android Permission Model and Application (app) analysis has consistently remained the focus of the investigation of research groups and stakeholders of the Android ecosystem since it was launched in 2008. Even though the Android smartphone…

Cryptography and Security · Computer Science 2026-01-05 Rajendra Kumar Solanki , Vijay Laxmi , Manoj Singh Gaur