yusuke1997/dblp-id-title huggingface dataset:
Assuring Data Trustworthiness - Concepts and Research Challenges
Challenges in Secure Sensor-Cloud Computing
A Model for Quantifying Information Leakage
Auditing Inference Based Disclosures in Dynamic Databases
Data Security - Challenges and Research Opportunities
Privacy Protocol for Linking Distributed Medical Data
A Unified Conflict Resolution Algorithm
A Geometric Approach for Efficient Licenses Validation in DRM
A Formal P3P Semantics for Composite Services
Joining Privately on Outsourced Data
Exploiting Preferences for Minimal Credential Disclosure in Policy-Driven Trust Negotiations
Data Security and Privacy in 2025?
Architecture for Data Collection in Database Intrusion Detection Systems
Tradeoff Analysis of Relational Database Storage of Privacy Preferences
Policies for Composed Emergencies in Support of Disaster Management
Watermarking for Adaptive Streaming Protocols
Query Log Attack on Encrypted Databases
Towards Trustworthy Health Platform Cloud
An Anonymity Model Achievable Via Microaggregation
User-Managed Access Control for Health Care Systems
Achieving Privacy Preservation when Sharing Data for Clustering
Query Optimization in Encrypted Relational Databases by Vertical Schema Partitioning
Security, Privacy and Trust: From Innovation Blocker to Innovation Enabler
Novel RFID Authentication Schemes for Security Enhancement and System Efficiency
Management of Private Data: Addressing User Privacy and Economic, Social, and Ethical Concerns
Hybrid Authorizations and Conflict Resolution
To Cloud Or Not To? Musings on Clouds, Security and Big Data
Using Delay to Defend Against Database Extraction
Authenticating kNN Query Results in Data Publishing
Internet of Things - Security, Privacy and Trust Considerations
Secure and Privacy Preserving Outsourcing of Tree Structured Data
Longitude: Centralized Privacy-Preserving Computation of Users' Proximity
A Comprehensive Framework for Secure Query Processing on Relational Data in the Cloud
Secure Data Management - 8th VLDB Workshop, SDM 2011, Seattle, WA, USA, September 2, 2011, Proceedings
SensorSafe: A Framework for Privacy-Preserving Management of Personal Sensory Information
Secure Data Management, Second VLDB Workshop, SDM 2005, Trondheim, Norway, September 2-3, 2005, Proceedings
Do You Know Where Your Data's Been? - Tamper-Evident Database Provenance
Query Rewriting Algorithm Evaluation for XML Security Views
Improvement of Hsu-Wu-He's Proxy Multi-signature Schemes
Using Secret Sharing for Searching in Encrypted Data
Refinement for Administrative Policies
eM 2 : An Efficient Member Migration Algorithm for Ensuring k-Anonymity and Mitigating Information Loss
An Intrusion Detection System for Detecting Phishing Attacks
PeerTrust: Automated Trust Negotiation for Peers on the Semantic Web
SPIDER: An Autonomic Computing Approach to Database Security Management
Query Processing Techniques for Compliance with Data Confidence Policies
A Multi-Party Protocol for Privacy-Preserving Range Queries
Generating Microdata with P -Sensitive K -Anonymity Property
Experimental Analysis of Privacy-Preserving Statistics Computation
Towards a Risk-Based Approach to Achieving Data Confidentiality in Cloud Computing
Privacy Preserving Event Driven Integration for Interoperating Social and Health Systems
Towards Enabling Behavioral Trust among Participating Cloud Forensic Data Center Agencies
Privacy-Preserving Digital Rights Management
Secure Quasi-Realtime Collaborative Editing over Low-Cost Storage Services
Secure Data Management, 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007, Proceedings
Computationally Efficient Searchable Symmetric Encryption
Secure Similar Document Detection with Simhash
Temporal Context Lie Detection and Generation
The Future of Information Security Research: Cryptology and Beyond
Differentially Private Data Release through Multidimensional Partitioning
Conflict of Interest in the Administrative Role Graph Model
Big Security for Big Data: Addressing Security Challenges for the Big Data Infrastructure
Research Challenges to Secure the Future Internet
A Flexible Access Control Model for Distributed Collaborative Editors
Metadata Management in Outsourced Encrypted Databases
Conjunctive Wildcard Search over Encrypted Data
Requirements of Secure Storage Systems for Healthcare Records
Adjusting the Trade-Off between Privacy Guarantees and Computational Cost in Secure Hardware PIR
Difference Set Attacks on Conjunctive Keyword Search Schemes
On the Facilitation of Fine-Grained Access to Distributed Healthcare Data
Secure Data Management, 6th VLDB Workshop, SDM 2009, Lyon, France, August 28, 2009. Proceedings
A Structure Preserving Database Encryption Scheme
Dynamic Disclosure Monitor ( D 2 Mon ): An Improved Query Processing Solution
Secure Data Management, Third VLDB Workshop, SDM 2006, Seoul, Korea, September 10-11, 2006, Proceedings
Towards the Secure Modelling of OLAP Users' Behaviour
Differential Privacy in Practice
Engineering Privacy Requirements in Business Intelligence Applications
Two Phase Filtering for XML Access Control
A Three-Dimensional Conceptual Framework for Database Privacy
Secure Data Management, 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008, Proceedings
Modeling Integrity in Data Exchange
Preventing Privacy-Invasive Software Using Collaborative Reputation Systems
On-the-Fly Hierarchies for Numerical Attributes in Data Anonymization
Quantifying Privacy Violations
Detecting Privacy Violations in Sensitive XML Databases
An Access Control Language for a General Provenance Model
Purpose Control: Did You Process the Data for the Intended Purpose?
Efficient Key Updates in Encrypted Database Systems
Database Intrusion Detection Using Role Profiling with Role Hierarchy
L-Cover: Preserving Diversity by Anonymity
A Type-and-Identity-Based Proxy Re-encryption Scheme and Its Application in Healthcare
Off-Line Keyword Guessing Attacks on Recent Keyword Search Schemes over Encrypted Data
Provenance for Web 2.0 Data
Secure Anonymization for Incremental Datasets
An Authorization Framework for Sharing Data in Web Service Federations
Secure Metric-Based Index for Similarity Cloud
Identifying Sensitive Associations in Databases for Release Control
Responding to Anomalous Database Requests
Answering Queries Based on Imprecision and Uncertainty Trade-Offs in Numeric Databases
Privacy Implications of Privacy Settings and Tagging in Facebook
Indistinguishability: The Other Aspect of Privacy
Specifying an Access Control Model for Ontologies for the Semantic Web
On-the-Fly Generalization Hierarchies for Numerical Attributes Revisited
Common Secure Index for Conjunctive Keyword-Based Retrieval over Encrypted Data
Simulatable Binding: Beyond Simulatable Auditing
XML Security in the Next Generation Optical Disc Context
LTAM: A Location-Temporal Authorization Model
A Classifier-Based Approach to User-Role Assignment for Web Applications
Secure Data Management - 9th VLDB Workshop, SDM 2012, Istanbul, Turkey, August 27, 2012. Proceedings
Suppressing Microdata to Prevent Probabilistic Classification Based Inference
Indexing Encrypted Documents for Supporting Efficient Keyword Search
Query Rewriting for Access Control on Semantic Web
A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements
Uncertainty Quantification for Semantic Segmentation Models via Evidential Reasoning
Collecting and Classifying Security and Privacy Design Patterns for Connected Vehicles: SECREDAS Approach
14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995
Safety and Security in a Smart Production Environment
ISO/SAE DIS 21434 Automotive Cybersecurity Standard - In a Nutshell
Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases
Towards Cloud-Based Enactment of Safety-Related Processes
CyberDS: Auditable Monitoring in the Cloud
An Assessment of the IEC 1131-3 Standard on Languages for Programmable Controllers
Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings
Systematic Composition of Services from Distributed Systems for Highly Dynamic Collaboration Processes
A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems
FISSC: A Fault Injection and Simulation Secure Collection
Formal Verification of a Microkernel Used in Dependable Software Systems
Compiling for Time Predictability
Modeling Software Dependability Growth under Input Partition Testing
Representing Parameterised Fault Trees Using Bayesian Networks
Modeling the Safety Architecture of UAS Flight Operations
Towards a Non-intrusive Recognition of Anomalous System Behavior in Data Centers
Safety Requirements and Fault Trees Using Retrenchment
Embedded Systems in Avionics and the SACRES Approach
Safety Analysis Based on Object-oriented Modelling of Critical Systems
Survivability Strategy for a Security Critical Process
Towards an Automated Exploration of Secure IoT/CPS Design-Variants
ULS: A Unified Likelihood Scale for Cross-Standard Risk Assessment
Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings
Structural Software Reliability Estimation
Accessible Formal Method Support for PLC Software Development
Assertion Checking Environment (ACE) for Formal Verification of C Programs
A Processor Architecture Designed to Faciliate the Safety Certification of Hard Real Time Systems
ARRL: A Criterion for Composable Safety and Systems Engineering
A Knowledge-Based Approach to Program Testing and Analysis
Towards Failure Models and Error Propagation in Product Lines
COTS-Architecture with a Real-Time OS for a Self-Driving Miniature Vehicle
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth
Access Control Policy Coverage Assessment Through Monitoring
Safety Analysis for Requirements Specifications: Methods and Techniques
Biometric Techniques Applied In Security Technology
Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems
Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice
Towards Integrated Quantitative Security and Safety Risk Assessment
Safety Verification of Ada95 Programs Using Software Fault Trees
SAFECOMP 2013 - Workshop CARS (2nd Workshop on Critical Automotive applications : Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013
The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems
You Overtrust Your Printer
Extendable Ground-to-Air Communication Architecture for CoDySa
Safe and Secure Automotive Over-the-Air Updates
Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project
Safety Evaluation of a Train Leader Telephone System
An Object-Based Approach to Modelling and Analysis of Failure Properties
An Assurance Case Pattern for the Interpretability of Machine Learning in Safety-Critical Systems
Your Industrial Facility and Its IP Address: A First Approach for Cyber-Physical Attack Modeling
Safety Assessment of Experimental Air Traffc Management Procedures
Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline
Application of IEC 62443 for IoT Components
A Review of Threat Analysis and Risk Assessment Methods in the Automotive Context
Research on the Classification of the Relationships Among the Same Layer Elements in Assurance Case Structure for Evaluation
Generating Assurance Cases Using Workflow + Models
Verification of Distributed Applications
Expert Error: The Case of Trouble-Shooting in Electronics
Deriving Quantified Safety Requirements in Complex Systems
Validating Safety Models with Fault Trees
Safety and Security Analysis of Object-Oriented Models
A Highly Fault Detectable Cache Architecture for Dependable Computing
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier
Consensus Building in Level 4 Automated Driving Field Trials Through Assurance Cases
The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support Systems
A Psychopathological Approach to Safety Engineering in AI and AGI
Designing Autonomous Robot Systems - Evaluation of the R3-COP Decision Support System Approach
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Criticality-Driven Component Integration in Complex Software Systems
Back-to-Back Fault Injection Testing in Model-Based Development
Sequential and Parallel Attack Tree Modelling
Comparing Risk Identification in Hazard Analysis and Threat Analysis
A Survey on Safety-Critical Multicast Networking
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System
Dependability Requirements and Security Architectures for the Healthcare/Medical Sector
Visual Modeling and Verification of Distributed Reactive Systems
Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid
Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach
Safety Markup Language: Concept and Application
Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets
Does Software Have to Be Ultra Reliable in Safety Critical Systems?
Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study
A systematic approach to software safety integrity levels
Intelligent Decision-Making in Lane Detection Systems Featuring Dynamic Framework for Autonomous Vehicles
Uniform Model Interface for Assurance Case Integration with System Models
Catalogue of System and Software Properties
QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams
Redundancy Management for Drive-by-Wire Computer Systems
SailFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms
Reconciling Safety Measurement and Dynamic Assurance
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System
Confidence Assessment Framework for Safety Arguments
On the Feasibility and Performance of Secure OPC UA Communication with IIoT Devices
Failure Classification Schemes for Analysing System Dependability
Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCert
Reaching Consensus on System-of-Systems Resilience Assurance: A Case of Mobility as a Service
MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases
A Motion Certification Concept to Evaluate Operational Safety and Optimizing Operating Parameters at Runtime
Watch: A Validation Framework and Language for Tool Qualification
Methodological Support for Formally Specifying Safety-Critical Software
Assessment of the Impact of U-space Faulty Conditions on Drones Conflict Rate
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops - CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings
Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity
Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications
Diversity in Open Source Intrusion Detection Systems
Evaluation of Parameter-Based Attacks Against Embedded Neural Networks with Laser Injection
Impact of Soft Errors in a Jet Engine Controller
Performability Measures of the Public Mobile Network of a Tele Control System
The Safety Requirements Decomposition Pattern
Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems
Formally Compensating Performance Limitations for Imprecise 2D Object Detection
Operator Errors and Their Causes
Open Questions in Testing of Learned Computer Vision Functions for Automated Driving
A Safety Licensable PES for SIL 4 Applications
A SysML Profile for Fault Trees - Linking Safety Models to System Design
Paired Safety Rule Structure for Human-Machine Cooperation with Feature Update and Evolution
Does Visualization Speed Up the Safety Analysis Process?
One Click Privacy for Online Social Networks
CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software
Quality of Fault Injection Strategies on Hardware Accelerator
A Safety Case Pattern for Systems with Machine Learning Components
Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets
AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms
PolEnA: Enforcing Fine-grained Permission Policies in Android
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach
Reliability Analysis of Safety-Related Communication Architectures
On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet
A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity
PERE: Evaluation and Improvement of Dependable Processes
Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences
Security of embedded automotive networks: state of the art and a research proposal
Design of a Knowledge-Base Strategy for Capability-Aware Treatment of Uncertainties of Automated Driving Systems
Integrating Safety Analyses and Component-Based Design
Safety Cases and Their Role in ISO 26262 Functional Safety Assessment
Deriving and Formalising Safety and Security Requirements for Control Systems
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters
Systematic Test Scenario Generation and Risk Assessment for Automated Driving System
Challenges in Assuring Highly Complex, High Volume Safety-Critical Software
Towards Dynamic Updates In AUTOSAR
A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems
ACTOR: Accelerating Fault Injection Campaigns Using Timeout Detection Based on Autocorrelation
Computer Safety, Reliability, and Security - 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings
Managing the Safety Argument using a Memory Prosthesis
Trick or Treat: A Study of Human Detection of Manipulative Tactics in Phishing Emails
Developing Dependable Software Using Prototyping and Test-Diversity
Human-Computer System Dependability
Including Defeaters in Quantitative Confidence Assessments for Assurance Cases
Integration of a RTT Prediction into a Multi-path Communication Gateway
Evaluating and Increasing Segmentation Robustness in CARLA
Analyzing Origins of Safety and Security Interactions Using Feared Events Trees and Multi-level Model
Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings
Towards a Sensor Failure-Dependent Performance Adaptation Using the Validity Concept
The Application of Causal Analysis Techniques for Computer-Related Mishaps
Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics
Rational Verification in Repeated Security Games
Security Audit Trail Analysis Using Genetic Algorithms
MTBF Inconsistency Analysis on Inferred Product Breakdown Structures
Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings
DevOps and Safety? SafeOps! Towards Ensuring Safety in Feature-Driven Development with Frequent Releases
End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems
Exploiting Trust in Deterministic Builds
A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain
Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems
Information Flow Analysis of Energy Management in a Smart Grid
Safety Verification of Software Using Structured Petri Nets
A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems
Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for Applications
Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A dam case study
Towards an International Security Case Framework for Networked Medical Devices
Towards a Unified Model-Based Safety Assessment
Investigation and Reduction of Fault Sensitivity in the FlexRay Communication Controller Registers
Using Runtime Information of Controllers for Safe Adaptation at Runtime: A Process Mining Approach
Probability of Failure on Demand - The Why and the How
StaDRe and StaDRo: Reliability and Robustness Estimation of ML-Based Forecasting Using Statistical Distance Measures
Security and Safety in Urban Environments: Evaluating Threats and Risks of Autonomous Last-Mile Delivery Robots
Enhancing CAN Security by Means of Lightweight Stream-Ciphers and Protocols
Human-in-the-Loop Learning Methods Toward Safe DL-Based Autonomous Systems: A Review
Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis
Design Evaluation: Estimating Multiple Critical Performance and Cost Impacts of Designs
Arguing on Software-Level Verification Techniques Appropriateness
TitanSSL: Towards Accelerating OpenSSL in a Full RISC-V Architecture Using OpenTitan Root-of-Trust
Online Quantization Adaptation for Fault-Tolerant Neural Network Inference
Research on the Reliability of High-Speed Railway Dispatching and Commanding Personnel with Multi Physiological Signals
Towards Secure Time-Triggered Systems
Predicting Railway Signalling Commands Using Neural Networks for Anomaly Detection
Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions
Integrating System Modelling with Safety Activities
Logically Sound Arguments for the Effectiveness of ML Safety Measures
How Far Can You Trust A Computer?
Protecting Vehicles Against Unauthorised Diagnostics Sessions Using Trusted Third Parties
A Graphical Environment for the Specification and Verification of Reactive Systems
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS
Constraint-Based Testing for Buffer Overflows
Issues Affecting Technology Transfer and Experience with a Community Club
Towards a Framework for Simulation Based Design, Validation and Performance Analysis of Electronic Control Systems
Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases
How to Secure Bluetooth-Based Pico Networks
Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft
Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization
Towards an Integrated Penetration Testing Environment for the CAN Protocol
An Agenda for Specifying Software Components with Complex Data Models
Increasing IoT Security by Supply Power Measurement
Simulation of Automotive Security Threat Warnings to Analyze Driver Interpretations and Emotional Transitions
A Quantitative Approach for System of Systems' Resilience Analyzing Based on ArchiMate
Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science
Towards Filtering and Alerting Rule Rewriting on Single-Component Policies
A Systems Viewpoint on the Integration of Subsystems Developed with Heterogeneous Safety Standards
Uncertainty in Machine Learning Applications: A Practice-Driven Classification of Uncertainty
Tradeoff Exploration between Reliability, Power Consumption, and Execution Time
Development of High-Integrity Software Product Lines Using Model Transformation
A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME)
Fail Silent Road Side Unit for Vehicular Communications
The Agile Safety Case
The COTS Debate in Perspective
Developing High Assurance Systems: On the Role of Software Tools
Hazard Analysis Using HAZOP: A Case Study
Ensuring Information Security in Inclusive Digital Environments
SASSI: Safety Analysis Using Simulation-Based Situation Coverage for Cobot Systems