Image de couverture de livre

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Mitra, Joydeep, Ranganath, Venkatesh-Prasad, Amtoft, Torben, Higgins, Mike
Format:	Preprint
Publié:	2020
Sujets:	Software Engineering Cryptography and Security Programming Languages D.2.1; D.2.2; D.2.4; D.4.6
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
par: Kiashemshaki, Kiana, et autres
Publié: (2025)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
par: Garcia, Rémi, et autres
Publié: (2024)

Model checking of hyperproperties for high-level relational models
par: Macedo, Nuno, et autres
Publié: (2025)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
par: Susan, Ştefan-Claudiu, et autres
Publié: (2025)

Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
par: Marri, Srinivas Rao
Publié: (2026)

A History Equivalence Algorithm for Dynamic Process Migration
par: Bakshi, Gargi, et autres
Publié: (2024)

The Range Shrinks, the Threat Remains: Re-evaluating LLM Package Hallucinations on the 2026 Frontier-Model Cohort
par: Churilov, Aleksandr
Publié: (2026)

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
par: Li, Xiaoqi, et autres
Publié: (2026)

Secure and Scalable Blockchain Voting: A Comparative Framework and the Role of Large Language Models
par: Kiashemshaki, Kiana, et autres
Publié: (2025)

Validating Formal Specifications with LLM-generated Test Cases
par: Cunha, Alcino, et autres
Publié: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
par: Cunha, Alcino, et autres
Publié: (2025)

Comparing Human and LLM Generated Code: The Jury is Still Out!
par: Licorish, Sherlock A., et autres
Publié: (2025)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
par: Yoon, Gangho, et autres
Publié: (2025)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
par: Yu, Boxi, et autres
Publié: (2026)

Combined Program Analysis Techniques: A Systematic Mapping Study
par: Braione, Pietro, et autres
Publié: (2026)

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
par: McCormack, Ian, et autres
Publié: (2024)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
par: Sharmin, Shaila, et autres
Publié: (2025)

Analyzing Logs of Large-Scale Software Systems using Time Curves Visualization
par: Borysenkov, Dmytro, et autres
Publié: (2024)

Analyzing the Adoption of Database Management Systems Throughout the History of Open Source Projects
par: Paiva, Camila A., et autres
Publié: (2026)

GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
par: Licorish, Sherlock A., et autres
Publié: (2025)

Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols
par: Kadaboina, Ravi Kiran
Publié: (2026)

Governed Capability Evolution: Lifecycle-Time Compatibility Checking and Rollback for AI-Component-Based Systems, with Embodied Agents as Case Study
par: Qin, Xue, et autres
Publié: (2026)

From Separate Compilation to Sound Language Composition
par: Bruzzone, Federico, et autres
Publié: (2026)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
par: Zietsman, Christo
Publié: (2026)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
par: Beg, Arshad, et autres
Publié: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
par: Beg, Arshad, et autres
Publié: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
par: Beg, Arshad, et autres
Publié: (2025)

Trace Validation of Unmodified Concurrent Systems with OmniLink
par: Hackett, Finn, et autres
Publié: (2026)

CovRL: Fuzzing JavaScript Engines with Coverage-Guided Reinforcement Learning for LLM-based Mutation
par: Eom, Jueon, et autres
Publié: (2024)

Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
par: Baldonado, Juan Manuel, et autres
Publié: (2025)

Good modelling software practices
par: Lemmen, Carsten, et autres
Publié: (2024)

Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies
par: Effendi, Sedick David Baker, et autres
Publié: (2025)

Safeguarding DeFi Smart Contracts against Oracle Deviations
par: Deng, Xun, et autres
Publié: (2024)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
par: Bai, Yubo, et autres
Publié: (2025)

Adaptive Proof Refinement with LLM-Guided Strategy Selection
par: Lu, Minghai, et autres
Publié: (2025)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
par: Lauer, Alexander, et autres
Publié: (2026)

Site Reliability Engineering (SRE) and Observations on SRE Process to Make Tasks Easier
par: Puli, Balaram
Publié: (2025)

Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems
par: Yusuf, Hadiza Umar, et autres
Publié: (2025)

Evaluating Cryptographic API Misuse Detectors for Go
par: Andersson, Vivi, et autres
Publié: (2026)

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
par: Lucio, Levi
Publié: (2026)