yusuke1997/dblp-id-title huggingface dataset:
Conditions of Full Disclosure: The Blockchain Remuneration Model
An Analysis of Cyber Security Attack Taxonomies
SoK: Security of EMV Contactless Payment Systems
Been Here Already? Detecting Synchronized Browsers in the Wild
What Scanners do at L7? Exploring Horizontal Honeypots for Security Monitoring
Remotizing and Virtualizing Chips and Circuits for Hardware-based Capture-the-Flag Challenges
Simulation of a Trust and Reputation Based Mitigation Protocol for a Black Hole Style Attack on VANETs
Replication Study: Cross-Country Evaluation of the Recognition-Based Graphical Authentication Scheme in AR and VR Environments
VulnBERTa: On Automating CWE Weakness Assignment and Improving the Quality of Cybersecurity CVE Vulnerabilities Through ML/NLP
HotSpot: Hot Issues in Security Principles and Trust 2020
LegoLog: A configurable transparency log
Vision: Investigating Web API Developer Experience in Relation to Terms of Service and Privacy Policies
Tampering Detection for Automotive Exhaust Aftertreatment Systems using Long Short-Term Memory Predictive Networks
DNN Model Architecture Fingerprinting Attack on CPU-GPU Edge Devices
Active Attribute Inference Against Well-Generalized Models In Federated Learning
TULIP: A Fully Incentive Compatible Blockchain Framework Amortizing Redundant Communication
IEEE European Symposium on Security and Privacy, EuroS&P 2023 - Workshops, Delft, Netherlands, July 3-7, 2023
Open Doors for Bob and Mallory: Open Port Usage in Android Apps and Security Implications
Master of Sheets: A Tale of Compromised Cloud Documents
DARIA: Designing Actuators to Resist Arbitrary Attacks Against Cyber-Physical Systems
My Boss is Really Cool: Malware-Induced Misperception in Workplace Communication Through Covert Linguistic Manipulation of Emails
BarriCCAde: Isolating Closed-Source Drivers with ARM CCA
A Siamese Adversarial Anonymizer for Data Minimization in Biometric Applications
Machete: Dissecting the Operations of a Cyber Espionage Group in Latin America
Bypassing Backdoor Detection Algorithms in Deep Learning
Learning to Defend by Attacking (and Vice-Versa): Transfer of Learning in Cybersecurity Games
Secure Queries on Encrypted Multi-writer Tables
On the Structure of Game Provenance and its Applications
SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust
How can data from fitness trackers be obtained and analyzed with a forensic approach?
Use of Simulators for Side-Channel Analysis
A Systematic Study of Practical & Formal Privacy in the 5G AKMA Procedure
Investigating the Effect of Phishing Believability on Phishing Reporting
Avatar: Adversarial Vehicle Trajectory Attack Targeting Autonomous Driving Planner
Towards Incremental Safety and Security Requirements Co-Certification
Hide me Behind the Noise: Local Differential Privacy for Indoor Location Privacy
Wait a Cycle: Eroding Cryptographic Trust in Low-End Tees via Timing Side Channels
IEEE European Symposium on Security and Privacy, EuroS&P 2025 - Workshops, Venice, Italy, June 30 - July 4, 2025
Vision: Shred If Insecure - Persuasive Message Design as a Lesson and Alternative to Previous Approaches to Usable Secure Email Interfaces
Interaction-Based Privacy Threat Elicitation
CheckOCPP: Automatic OCPP Packet Dissection and Compliance Check
Trampoline Over the Air: Breaking in IoT Devices Through MQTT Brokers
Measuring Malware Detection Capability for Security Decision Making
Cybersecurity Certification for Agile and Dynamic Software Systems - a Process-Based Approach
JSONPS: Secure an inherently insecure practice with this one weird trick!
Blockchain and Federated Learning-enabled Distributed Secure and Privacy-preserving Computing Architecture for IoT Network
A 'Human-in-the-Loop' approach for Information Extraction from Privacy Policies under Data Scarcity
Privacy of DNS-over-HTTPS: Requiem for a Dream?
Reviewing Estimates of Cybercrime Victimisation and Cyber Risk Likelihood
Securing the Lane: Defences Against Patch Attacks on Autonomous Vehicle's Lane Detection
"Act natural!": Exchanging Private Messages on Public Blockchains
Visualizing Cyber-Threats in Underground Forums
Beneath the Surface: An Analysis of OEM Customizations on the Android TLS Protocol Stack
The Forgotten Side of DNS: Orphan and Abandoned Records
PKI Safety Net (PKISN): Addressing the Too-Big-to-Be-Revoked Problem of the TLS Ecosystem
Formguard: Continuous Privacy Testing for Websites Using Automated Interaction Replay
Chorus: a Programming Framework for Building Scalable Differential Privacy Mechanisms
Practical Power Analysis on KCipher-2 Software on Low-End Microcontrollers
LeapFrog: The Rowhammer Instruction Skip Attack
Blockchain as a Service (BaaS): Providers and Trust
Libel Inc: An Analysis of the Libel Site Ecosystem
SACfe: Secure Access Control in Functional Encryption with Unbounded Data
Pedagogical Aspects of Cyber Security Exercises
9th IEEE European Symposium on Security and Privacy, EuroS&P 2024, Vienna, Austria, July 8-12, 2024
Do Not Trust Me: Using Malicious IdPs for Analyzing and Attacking Single Sign-on
A Generic Obfuscation Framework for Preventing ML-Attacks on Strong-PUFs through Exploitation of DRAM-PUFs
Dynamic Cluster Analysis to Detect and Track Novelty in Network Telescopes
The Importance of the Job Role in Social Media Cybersecurity Training
TLS → Post-Quantum TLS: Inspecting the TLS landscape for PQC adoption on Android
Work-in-Progress: Emerging E/E-Architectures as Enabler for Automotive Honeypots
7th IEEE European Symposium on Security and Privacy, EuroS&P 2022, Genoa, Italy, June 6-10, 2022
Becoming Invisible Hands of National Live-Fire Attack-Defense Cyber Exercise
Automating privacy decisions -where to draw the line?
Are You Really My Friend? Efficient and Secure Friend-Matching in Mobile Social Networks
O'MINE: A Novel Collaborative DDoS Detection Mechanism for Programmable Data-Planes
Data Sharing in Mobile Apps - User Privacy Expectations in Europe
IEEE European Symposium on Security and Privacy, EuroS&P 2021, Vienna, Austria, September 6-10, 2021
Visualisation Techniques for Consent: Finding Common Ground in Comic Art with Indigenous Populations
Differentially Private Multi-Label Learning Is Harder Than You'd Think
Anonymous Alone? Measuring Bitcoin's Second-Generation Anonymization Techniques
Reliability of IP Geolocation Services for Assessing the Compliance of International Data Transfers
Large-Scale Analysis & Detection of Authentication Cross-Site Request Forgeries
CSRFing the SSO Waves: Security Testing of SSO-Based Account Linking Process
Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code
Highly-Efficient and Composable Password-Protected Secret Sharing (Or: How to Protect Your Bitcoin Wallet Online)
Explicit Secrecy: A Policy for Taint Tracking
Trojaning Language Models for Fun and Profit
False Flavor Honeypot: Deceiving Vulnerability Scanning Tools
Duet: Combining a Trustworthy Controller with a Confidential Computing Environment
Abusing Android Runtime for Application Obfuscation
SoK: The Impact of Unlabelled Data in Cyberthreat Detection
Understanding the Security Risks of Decentralized Exchanges by Uncovering Unfair Trades in the Wild
Secure Intermittent Computing with ARM TrustZone on the Cortex-M
"Work-in-Progress" Structuring the Complexity: An Ontological Approach to Analyze the Cybersecurity of a 5G Service
Early-Stage Anomaly Detection: A Study of Model Performance on Complete vs. Partial Flows
How to stop crashing more than twice: A Clean-Slate Governance Approach to IT Security
IoTFinder: Efficient Large-Scale Identification of IoT Devices via Passive DNS Traffic Analysis
Temporary Censorship Attacks in the Presence of Rational Miners
A preliminary study on the adoption and effectiveness of SameSite cookies as a CSRF defence
WALNUT: Waging Doubt on the Integrity of MEMS Accelerometers with Acoustic Injection Attacks
A Review of Human- and Computer-Facing URL Phishing Features
Compiler-Agnostic Function Detection in Binaries
An (Un)Necessary Evil - Users' (Un)Certainty about Smartphone App Permissions and Implications for Privacy Engineering
Security Viewpoint in a Reference Architecture Model for Cyber-Physical Production Systems
Challenges in Designing Exploit Mitigations for Deeply Embedded Systems
Solving Why Not Questions for Aggregate Constraints Through Query Repair
MISO: Legacy-compatible Privacy-preserving Single Sign-on using Trusted Execution Environments
Atlas: A Framework for ML Lifecycle Provenance & Transparency
Investigating the concentration of High Yield Investment Programs in the United Kingdom
An Overview of Runtime Data Protection Enforcement Approaches
Unified Communication: What do Digital Activists need?
Digital Drift and the Evolution of a Large Cybercrime Forum
Replay Attacks and Defenses Against Cross-shard Consensus in Sharded Distributed Ledgers
Towards Multi-party Policy-based Access Control in Federations of Cloud and Edge Microservices
End-To-End Confidentiality with Sev-Snp Leveraging in-Memory Storage
SecWeb 2020 Preface
A Social Network Analysis and Comparison of Six Dark Web Forums
I am Robot: (Deep) Learning to Break Semantic Image CAPTCHAs
Ontology-Based Scenario Modeling for Cyber Security Exercise
SoK: Oblivious Pseudorandom Functions
Content delivery over TLS: a cryptographic analysis of keyless SSL
SoK: Security and Privacy in Machine Learning
Detecting Malware Injection with Program-DNS Behavior
Work in Progress: Leveraging Large Language Models for Cybersecurity Compliance: A Pilot Study in ISO 27001 Audit Planning
Cryptocurrencies with Security Policies and Two-Factor Authentication
Conjunctive Searchable Symmetric Encryption from Hard Lattices
Deceptive directories and "vulnerable" logs: a honeypot study of the LDAP and log4j attack landscape
Enhancing Cybersecurity Awareness in Small and Medium Enterprises Through a User-Friendly Risk Assessment Tool
Methods and Tools for GDPR Compliance Through Privacy and Data Protection Engineering
Mitigating Information Leakage in Large Language Models: Evaluating the Impact of Code Obfuscation on Vulnerability Detection
Hand Sanitizers in the Wild: A Large-scale Study of Custom JavaScript Sanitizer Functions
Enhancing Privacy via Hierarchical Federated Learning
ProInspector: Uncovering Logical Bugs in Protocol Implementations
A Low Overhead Approach for Automatically Tracking Provenance in Machine Learning Workflows
Programmatic Description Language for Cyber Range Topology Creation
DISC-NG: Robust Service Discovery in the Ethereum Global Network
I Spy with My Little Eye: Analysis and Detection of Spying Browser Extensions
On the Effect of Ruleset Tuning and Data Imbalance on Explainable Network Security Alert Classifications: A Case-Study on DeepCASE
Latte: Layered Attestation for Portable Enclaved Applications
Outsourcing MPC Precomputation for Location Privacy
Activity Recognition Protection for IoT Trigger-Action Platforms
A Game Of Drones: Extending the Dolev-Yao Attacker Model With Movement
SoK: Pragmatic Assessment of Machine Learning for Network Intrusion Detection
Data Protection and Consenting Communication Mechanisms: Current Open Proposals and Challenges
On Compliance of Cookie Purposes with the Purpose Specification Principle
Explaining and Visualizing Synthetic Data Quality Using Statistical Distances
Caiba: Multicast Source Authentication for CAN Through Reactive Bit Flipping
Block Me If You Can: A Large-Scale Study of Tracker-Blocking Tools
Programming with Flow-Limited Authorization: Coarser is Better
Vision: I don't want to use my Phone! A Cognitive Walkthrough for YubiKeys
DC-VAE, Fine-grained Anomaly Detection in Multivariate Time-Series with Dilated Convolutions and Variational Auto Encoders
Proving Attributes About Confidential Compute Services with Validation and Endorsement Services
Generalized Iterative Bayesian Update and Applications to Mechanisms for Privacy Protection
Communication-Efficient Secure Logistic Regression
A Key to Embedded System Security: Locking and Unlocking Secrets with a Trusted Platform Module
Introduction to Information Security: From Formal Curriculum to Organisational Awareness
David and Goliath: An Empirical Evaluation of Attacks and Defenses for QNNs at the Deep Edge
SoK: All or Nothing - A Postmortem of Solutions to the Third-Party Script Inclusion Permission Model and a Path Forward
From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake
SenSig: Practical IoT Sensor Fingerprinting Using Calibration Data
IEEE European Symposium on Security and Privacy Workshops, EuroS&P 2021, Vienna, Austria, September 6-10, 2021
Poster: Obfuscation Revealed - Using Electromagnetic Emanation to Identify and Classify Malware
User Access Privacy in OAuth 2.0 and OpenID Connect
Combined Internal Attacks on SoC-FPGAs: Breaking AES with Remote Power Analysis and Frequency-based Covert Channels
CodeArmor: Virtualizing the Code Space to Counter Disclosure Attacks
Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons
Automatic verification of transparency protocols
Self-Sovereign Identities for Software-Defined Vehicles
Cryptographic Commitments on Anonymizable Data
AVGuardian: Detecting and Mitigating Publish-Subscribe Overprivilege for Autonomous Vehicle Systems
SoK: In Search of Lost Time: A Review of JavaScript Timers in Browsers
A First Look at Browser-Based Cryptojacking
A Secure Cell-Attachment Procedure of LDACS
Navigating Privacy Patterns in the Era of Robotaxis
SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses
Modeling the Block Verification Time of Zcash
EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning
A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange
MicroProfiler: Principled Side-Channel Mitigation through Microarchitectural Profiling
Inferring OpenVPN State Machines Using Protocol State Fuzzing
Nonce@Once: A Single-Trace EM Side Channel Attack on Several Constant-Time Elliptic Curve Implementations in Mobile Platforms
Exploiting the Auto-Encoder Residual Error for Intrusion Detection
Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts
Work-in-Progress: Optimizing Performance of User Revocation in Cryptographic Access Control with Trusted Execution Environments
CHARON: Polyglot Code Analysis for Detecting Vulnerabilities in Scripting Languages Native Extensions
From Edge to Cloud: Securing Distributed Containerized Applications
Preface of the 2 nd Workshop on the Security of Software/Hardware Interfaces (SILM 2020)
Towards Automatically Penalizing Multimedia Breaches (Extended Abstract)
Drivers and Obstacles for the Adoption of Consent Management Solutions by Ad-Tech Providers
Work-in-Progress: CANGen: Practical Synthetic CAN Traces Generation Using Deep Generative Models
Ostraka: Secure Blockchain Scaling by Node Sharding
AWS EC2 Public Cloud Cyber Range Deployment
zkRelay: Facilitating Sidechains using zkSNARK-based Chain-Relays
Applying Machine Learning to use security oracles: a case study in virus and malware detection
Beneath the Dark Web: Excavating the Layers of Cybercrime's Underground Economy
Position-Independent Code Reuse: On the Effectiveness of ASLR in the Absence of Information Disclosure
IEEE European Symposium on Security and Privacy Workshops, EuroS&P Workshops 2020, Genoa, Italy, September 7-11, 2020
Simulating the Effects of Social Presence on Trust, Privacy Concerns & Usage Intentions in Automated Bots for Finance
Hyperloop: A Cybersecurity Perspective
Position: On Potential Malware & New Attack Vectors for Internet-of-Brains (IoB)
SoK: Systematization and Benchmarking of Deepfake Detectors in a Unified Framework
AceCov: Auxiliary Composite Edge Coverage for Fuzzing
Towards Understanding Limitations of Pixel Discretization Against Adversarial Attacks
Dredging the River Styx: Fortifying the Web through Robust and Real-Time Script Attribution
PILLAR: LINDDUN Privacy Threat Modeling Using LLMs
Do Women in Conservative Societies (Not) Follow Smartphone Security Advice? A Case Study of Saudi Arabia and Pakistan
Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting
Sealed-Glass Proofs: Using Transparent Enclaves to Prove and Sell Knowledge
SMART Credentials in the Multi-queue of Slackness (or Secure Management of Anonymous Reputation Traits without Global Halting)
Port in a Storm: Iranian Cyber Operations and Chinese Strategic Interests in Middle Eastern Maritime Infrastructure
On the Effectiveness of Virtualization Based Memory Isolation on Multicore Platforms
COMAR: Classification of Compromised versus Maliciously Registered Domains
A Wolf in Sheep's Clothing: Query-Free Evasion Attacks Against Machine Learning-Based Malware Detectors with Generative Adversarial Networks
Green Security: A Framework for Measurement and Optimization of Energy Consumption of Cybersecurity Solutions
Anomaly-based Filtering of Application-Layer DDoS Against DNS Authoritatives
Agent-Based Simulations of Blockchain protocols illustrated via Kadena's Chainweb
Sok: Zero Trust as a Strategy to Address Devsecops Challenges
Metadata Privacy Beyond Tunneling for Instant Messaging
Dynamic Backdoor Attacks Against Machine Learning Models
A Qualitative Analysis Framework for mHealth Privacy Practices
Re-Envisioning Industrial Control Systems Security by Considering Human Factors as a Core Element of Defense-in-Depth
Two de-anonymization attacks on real-world location data based on a hidden Markov model
We Built This Circuit: Exploring Threat Vectors in Circuit Establishment in Tor
Practical Constructions for Single Input Functionality Against a Dishonest Majority
Threat Analysis and Adversarial Model for Smart Grids
ATVSA: Vehicle Driver Profiling for Situational Awareness
Intelligent Detection of Non-Essential IoT Traffic on the Home Gateway
Mitch: A Machine Learning Approach to the Black-Box Detection of CSRF Vulnerabilities
Characterizing Building Automation System Attacks and Attackers
Discharged Payment Channels: Quantifying the Lightning Network's Resilience to Topology-Based Attacks
SecurePay: Strengthening Two-Factor Authentication for Arbitrary Transactions
Are You Sure That is Secure? Assessing Organizations Security Readiness Via a Devsecops Maturity Model
Do Fear the REAPIR: Adversarial Malware from API Replacement
TIRA: An OpenAPI Extension and Toolbox for GDPR Transparency in RESTful Architectures
Evaluating Explanation Methods for Deep Learning in Security
SoK: Content Moderation in Social Media, from Guidelines to Enforcement, and Research to Practice
Active Countermeasures for Email Fraud
The IEMI Effect: On the Efficacy of PCB-Level Countermeasures in Adversarial Environments
Designing and Proving an EMV-Compliant Payment Protocol for Mobile Devices
Privacy as an Architectural Quality: A Definition and an Architectural View
Borrowed Capabilities: Flexibly Enforcing Revocation on a Capability Architecture
ChainSmith: Automatically Learning the Semantics of Malicious Campaigns by Mining Threat Intelligence Reports
Youth Hackers and Adult Hackers in South Korea: An Application of Cybercriminal Profiling
A Class of Precomputation-Based Distance-Bounding Protocols
LLM-based Vulnerability Sourcing from Unstructured Data
Hunting Review Bombs with BRIDGE - A Bipartite Graph Neural Network Approach to Abuse Detection
Hide and Seek: Revisiting DNS-based User Tracking
On Gaps in Enterprise Cyber Attack Reporting
Emulating Side Channel Attacks on gem5: lessons learned
From Cluttered to Clustered: Addressing Privacy Threat Explosion through Automated Clustering
Trusted Platform Modules in Cyber-Physical Systems: On the Interference Between Security and Dependability
Modelling direct messaging networks with multiple recipients for cyber deception
Towards Privacy-Preserving Revocation of Verifiable Credentials with Time-Flexibility
Work-in-Progress: Crash Course: Can (Under Attack) Autonomous Driving Beat Human Drivers?
Argon2: New Generation of Memory-Hard Functions for Password Hashing and Other Applications
Attacking Deterministic Signature Schemes Using Fault Attacks
Cross Chain Atomic Swaps in the Absence of Time via Attribute Verifiable Timed Commitments
GLICE: Combining Graph Neural Networks and Program Slicing to Improve Software Vulnerability Detection
Automating Penetration Testing with MeTeOr
The Dark Side of the Web: Towards Understanding Various Data Sources in Cyber Threat Intelligence
REHAD: Using Low-Frequency Reconfigurable Hardware for Cache Side-Channel Attacks Detection
9-1-1 DDoS: Attacks, Analysis and Mitigation
The Danger of Packet Length Leakage: Off-path TCP/IP Hijacking Attacks Against Wireless and Mobile Networks
How to Squeeze a Crowd: Reducing Bandwidth in Mixing Cryptocurrencies
SNPGuard: Remote Attestation of SEV-SNP VMs Using Open Source Tools
Don't Punish all of us: Measuring User Attitudes about Two-Factor Authentication
A Bad IDEa: Weaponizing uncontrolled online-IDEs in availability attacks
Towards Fair and Robust Classification
Towards Cybersecurity MOOC Certification
Demystifying the Perceptions Gap Between Designers and Practitioners in Two Security Standards
10th IEEE European Symposium on Security and Privacy, EuroS&P 2025, Venice, Italy, June 30 - July 4, 2025
A Hybrid Solution for Constrained Devices to Detect Microarchitectural Attacks
An Argument for Linguistic Expertise in Cyberthreat Analysis: LOLSec in Russian Language eCrime Landscape
The Cost of Push Notifications for Smartphones Using Tor Hidden Services
Transparent DIFC: Harnessing Innate Application Event Logging for Fine-Grained Decentralized Information Flow Control
Protecting Voice-Controllable Devices Against Self-Issued Voice Commands
From Lightweight Cybersecurity Assessment to SME Certification Scheme in Belgium
SoK: Cryptojacking Malware
Cascade and Chain Effects in Big Data Cybercrime: Lessons from the TalkTalk hack
Efficient Two-Party Secure Aggregation via Incremental Distributed Point Function
The (Relative) Impact of Email Cues on the Perceived Threat of Phishing Attacks: A User Perspective on Phishing Deceptiveness
An Internet-Wide View on HTTPS Certificate Revocations: Observing the Revival of CRLs via Active TLS Scans
Stubborn Mining: Generalizing Selfish Mining and Combining with an Eclipse Attack
TXTing 101: Finding Security Issues in the Long Tail of DNS TXT Records
Helping Mobile Application Developers Create Accurate Privacy Labels
Pfuzzer: Practical, Sound, and Effective Multi-path Analysis of Environment-sensitive Malware with Coverage-guided Fuzzing
Captcha me if you can: Imitation Games with Reinforcement Learning
DeepRefiner: Multi-layer Android Malware Detection System Applying Deep Neural Networks
Get Rich or Keep Tryin' Trajectories in dark net market vendor careers
DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification
The Odyssey: Modeling Privacy Threats in a Brave New World
Geost Botnet. Operational Security Failures of a New Android Banking Threat
SoK: Privacy-Preserving Computing in the Blockchain Era
Towards Continuous Risk Assessment and Conformance Checking of IdM Deployments
SoK: A Framework for Asset Discovery: Systematizing Advances in Network Measurements for Protecting Organizations
Exploring the Malicious Document Threat Landscape: Towards a Systematic Approach to Detection and Analysis
A Case Study on the Use of Representativeness Bias as a Defense Against Adversarial Cyber Threats
The Web of Abuse: A Comprehensive Analysis of Online Resource in the Context of Technology-Enabled Intimate Partner Surveillance
8th IEEE European Symposium on Security and Privacy, EuroS&P 2023, Delft, Netherlands, July 3-7, 2023
Enhancing Vulnerability Prioritization: Data-Driven Exploit Predictions with Community-Driven Insights
Reasoning about Object Capabilities with Logical Relations and Effect Parametricity
IEEE European Symposium on Security and Privacy, EuroS&P 2022 - Workshops, Genoa, Italy, June 6-10, 2022
Koney: A Cyber Deception Orchestration Framework for Kubernetes
Measuring the Unmeasurable: Estimating True Population of Hidden Online Communities
Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology