yusuke1997/dblp-id-title huggingface dataset:
Security Considerations When Designing a Distributed File System Using Object Storage Devices
Efficiently Binding Data to Owners in Distributed Content-Addressable Storage Systems
Security and Integrity of a Distributed File Storage in a Virtual Environment
A Two Layered Approach for Securing an Object Store Network
File System Design with Assured Delete
CRUST: Cryptographic Remote Untrusted Storage without Public Keys
G its 2 VSR: An Information Theoretical Secure Verifiable Secret Redistribution Protocol for Long-term Archival Storage
3rd International IEEE Security in Storage Workshop (SISW 2005), December 13, 2005, San Francisco, California, USA
The Consequences of Decentralized Security in a Cooperative Storage System
Decentralized Authentication Mechanisms for Object-based Storage Devices
Fourth International IEEE Security in Storage Workshop, SISW 2007, San Diego, California, USA, September 27, 2007
Securing Disk-Resident Data through Application Level Encryption
Adding Secure Deletion to Your Favorite File System
Enabling Optimal Security for Removable Storage Devices
POTSHARDS : Storing Data for the Long-term Without Encryption
Memories: A Survey of Their Secure Uses in Smart Cards
2nd International IEEE Security in Storage Workshop (SISW 2003), Information Assurance, The Storage Security Perspective, 31 October 2003, Washington, DC, USA
Cryptographic File Systems Performance: What You Don't Know Can Hurt You
Towards Protecting Sensitive Files in a Compromised System
Streamed or Detached Triple Integrity for a Time Stamped Secure Storage System
Efficient Authentication of Large, Dynamic Data Sets Using Galois/Counter Mode (GCM)
Key Management for Encrypted Data Storage in Distributed Systems
Lazy Revocation in Cryptographic File Systems
Research and Implement of an Encrypted File System Used to NAS
AppMark: A Picture-Based Watermark for Android Apps
Static Data Race Detection for Interrupt-Driven Embedded Software
Strategic Usage of Test Case Generation by Combining Two Test Case Generation Approaches
Study on Formal Specification of Automatic Train Protection and Block System for Local Line
Java Card Performance Optimization of Secure Transaction Atomicity Based on Increasing the Class Field Locality
Sixth International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 20-22 June 2012 - Companion Volume
Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010
A Survey on Network Layer Attacks and AODV Defense in Mobile Ad Hoc Networks
Trust Observations in Validation Exercises
Bayesian Network Based Software Reliability Prediction by Dynamic Simulation
Robust Wavelet Shrinkage Estimation without Data Transform for Software Reliability Assessment
Probabilistic Risk Assessment for Security Requirements: A Preliminary Study
Detecting DoS Attacks on Notification Services
A Novel Security Scheme for Online Banking Based on Virtual Machine
Reliability Models Applied to Mobile Applications
Towards a Model Based Security Testing Approach of Cloud Computing Environments
A Model-Based Detection of Vulnerable and Malicious Browser Extensions
A-R Exploit: An Automatic ROP Exploit Based on Long Sequence
Generalized Partial Test Case Generation Method
Panel: Increase Industry and Academy Cooperation in Testing Technologies and Tools for Critical Industry Applications
Mobile Application and Device Power Usage Measurements
Automatic Test Data Generation for C Programs
Towards an Interface causing Discomfort for Security: A User Survey on the Factors of Discomfort
BinClone: Detecting Code Clones in Malware
A New Method for Measuring Single Event Effect Susceptibility of L1 Cache Unit
Recent Catastrophic Accidents: Investigating How Software was Responsible
Approximating Quantified SMT-Solving with SAT
System Call Anomaly Detection Using Multi-HMMs
Robustness and Fragility of a New Local-World Dynamical Network Model
The Influence of Developer Quality on Software Fault-Proneness Prediction
Peer Code Review to Prevent Security Vulnerabilities: An Empirical Evaluation
An Industrial Case Study on Speeding Up User Acceptance Testing by Mining Execution Logs
Estimating the Accuracy of Dynamic Change-Impact Analysis Using Sensitivity Analysis
Simplifying Parametrization of Bayesian Networks in Prediction of System Quality
Comparing Static Security Analysis Tools Using Open Source Software
Exploiting Neigborhood Similarity for Virtual Machine Migration over Wide-Area Network
A Two-Stage Data Preprocessing Approach for Software Fault Prediction
System-Bus Fault Injection Framework in SystemC Design Platform
Intelligent Biological Security Testing Agents
Reliability Computing for Service Composition
The Problem of Usable Binary Authentication
Reliability Analysis of PLC Systems by Bayesian Network
Evaluation of Random Projection for Malware Classification
Specification and Analysis of Attribute-Based Access Control Policies: An Overview
CRAXweb: Automatic Web Application Testing and Attack Generation
An Automatic Approach to Verify Sensor Network Systems
Modeling Efficient Multi-chained Stream Signature Protocol Using Communicating Sequential Processes
Face Detection Based on Skin Color Segmentation and SVM Classification
Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution
An Approach to Achieving the Reliability in TV Embedded System
A Learning Environment for Software Security Education
Mitigating Insider Threat without Limiting the Availability in Concurrent Undeclared Tasks
Feedback-Directed Test Case Generation Based on UML Activity Diagrams
A Graph-Model-Based Testing Method Compared with the Classification Tree Method for Test Case Generation
Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems
Event- and Coverage-Based Testing of Web Services
A Practical Covert Channel Identification Approach in Source Code Based on Directed Information Flow Graph
Modeling Uncertainties in the Estimation of Software Reliability
High Performance Java Card Operating System
Scheduling and Controlling Semantics for Distributed Resource Based Computing Engines
Enhancing Use Cases with Subjective Risk Assessment
Automation of Look-Up Tables for System Integrity Protection Systems in Taiwan Power System
Verification of Secure Inter-operation Properties in Multi-domain RBAC Systems
A Blind Watermarking Scheme Based on Wavelet Tree Quantization
Multiphysics Modeling and Characterization of MicroCVD Chip for Growing Carbon Nanomaterials
Context-Aware Policy Enforcement for Android
A UML Model Based White Box Reliability Prediction to Identify Unreliable Components
A Scalability Framework for Reliable Services
Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance
Pairwise Testing in the Presence of Configuration Change Cost
Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems
Reliable Repair Mechanisms with Low Connection Cost for Code Based Distributed Storage Systems
Path-oriented Test Data Generation Driven by Component Linear Fitting Functions
Diagnosis-Guided Regression Test Refinement
Development of Fuzzy Software Operational Profile
A Hybrid Clock System Related to STeC Language
Compiler Assisted Instruction Relocation for Performance Improvement of Cache Hit Rate and System Reliability
Verifying Aspect-Oriented Programs Using Open Temporal Logic
Automated Web Service Composition System on Enterprise Service Bus
Towards Test Case Generation for Synthesizable VHDL Programs Using Model Checker
A Model for Usage-Based Testing of Event-Driven Software
Automating Service Availability Analysis: An Application to a Highly Available Media-Streaming Service
Reliability for Software-Based Systems
The Time/State-based Software-Intensive Systems Failure Mode Researches
Detection and Mitigation of Induced Low Rate TCP-Targeted Denial of Service Attack
Seeing Beyond Visibility: A Four Way Fusion of User Authentication for Efficient Usable Security on Mobile Devices
A Comparative Study of Forensic Science and Computer Forensics
CacheBit: A Multisource-Multitarget Cache Instrumentation Tool
Cyber-physical Systems Modeling Method Based on Modelica
An Organization-Driven Approach for Enterprise Security Development and Management
New Gen2v2-Based Mutual Authentication Schemes
Security Analysis of MAC Protocol for Mobile Device Identification Based on PARADIS
Evaluation of Experiences from Applying the PREDIQT Method in an Industrial Case Study
Quantitative Evaluation of Related Web-Based Vulnerabilities
Security Impacts of Virtualization on a Network Testbed
Which Spot Should I Test for Effective Embedded Software Testing?
Extending the Reliability of Wireless Sensor Networks through Informed Periodic Redeployment
Revising a Security Tactics Hierarchy through Decomposition, Reclassification, and Derivation
Mining Sequential Patterns of Predicates for Fault Localization and Understanding
Towards a Reliable Spam-Proof Tagging System
Effective Regression Testing Using Requirements and Risks
An Automatic Approach to Model Checking UML State Machines
Using Network Tainting to Bound the Scope of Network Ingress Attacks
Paradigm in Verification of Access Control
Bodhi: Detecting Buffer Overflows with a Game
Message from T4CIA Workshop Co-chairs
Sensitivity of Two Coverage-Based Software Reliability Models to Variations in the Operational Profile
PhishTester: Automatic Testing of Phishing Attacks
IEEE 7th International Conference on Software Security and Reliability, SERE 2013, Gaithersburg, MD, USA, June 18-20, 2013
The Determination Method for Software Reliability Qualitative Indices
A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics
A SysML-Based Requirement Supporting Tool for Embedded Software
Traceability Enhancement Technique through the Integration of Software Configuration Management and Individual Working Environment
IEEE Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, CA, USA, June 30 - July 2, 2014 - Companion Volume
Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL
A Concept for Language-Oriented Security Testing
Analysis of Android Applications' Permissions
Automatic Regression Test Selection Based on Activity Diagrams
A Developed Dynamic Environment Fault Injection Tool for Component Security Testing
DRiVeR: Diagnosing Runtime Property Violations Based on Dependency Rules
Adaptation Strategies for Performance Failure Avoindance
Traceability-Based Formal Specification Inspection
YAWL2DVE: An Automated Translator for Workflow Verification
Co-Simulation of Networked Embedded System: Verification Approach
Structured Assurance Case Methodology for Assessing Software Trustworthiness
Verifiable Aspect Composition in UML Models
Mining Executable Specifications of Web Applications from Selenium IDE Tests
Approximate Simulation for Metric Hybrid Input/Output Automata
A Novel Method for Modeling Complex Network of Software System Security
Probabilistic Programming With Coordination and Compensation
Two Methods for Estimating Product Lifetimes from only Warranty Claims Data
Lattice-Valued Kripke Structures Based on Complete Residuated Lattice
Evaluation of Power-Constant Dual-Rail Logic as a Protection of Cryptographic Applications in FPGAs
An Approach for Isolating the Sources of Information Leakage Exploited in Cache-Based Side-Channel Attacks
Robust and Efficient Covert Channel Communications in Operating Systems: Design, Implementation and Evaluation
Modeling Embedded Software Test Requirement Based on MARTE
Mutation-Based Evaluation of Weighted Test Case Selection for Firewall Testing
Formal Approaches to Wireless Sensor Networks
An Embedded Software Reliability Model with Consideration of Hardware Related Software Failures
ADAutomation: An Activity Diagram Based Automated GUI Testing Framework for Smartphone Applications
A Modelling Framework to Support Internal Control
Architectural Availability Analysis of Software Decomposition for Local Recovery
Performance Testing of Mobile Applications at the Unit Test Level
Invited Talk - Engineering Self-Healing and Self-Improving Systems
FRanC: A Ranking Framework for the Prioritization of Software Maintenance
Rule-Based Test Input Generation from Bytecode
Component-Based Malicious Software Engineer Intrusion Detection
Test-Data Generation for Web Services Based on Contract Mutation
Synthesizing SRN Models from System Operations with SysML Diagrams for Availability Analysis
Analyzing Relation between Software Architecture Testing Criteria on Test Sequences
Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata
Modeling and Simulating CAN-Based Cyber-Physical Systems in Modelica
Defending ROP Attacks Using Basic Block Level Randomization
Security Test Generation by Answer Set Programming
Application of Software Safety Analysis Using Event-B
Application of Design for Six Sigma in Third Party Intensive Programs
A Control Flow Representation for Component-Based Software Reliability Analysis
VRank: A Context-Aware Approach to Vulnerability Scoring and Ranking in SOA
Estimation of the Change Point for Failure-Censored Data via Bayesian Information Criterion
Validation of SDL-Based Architectural Design Models: New Coverage Criteria
Historical Value-Based Approach for Cost-Cognizant Test Case Prioritization to Improve the Effectiveness of Regression Testing
A Feature-Based Modeling Approach for Building Hybrid Access Control Systems
A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems
Seventh International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 18-20 June 2013 - Companion Volume
A Formal Framework for Mutation Testing
Software Reliability Modeling with Integrated Test Coverage
Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software
Security Engineering: Developments and Directions
On Testing Effectiveness of Metamorphic Relations: A Case Study
Security Goals Assurance Based on Software Active Monitoring
Finding Buffer Overflow Inducing Loops in Binary Executables
Application to Artificial Hip Stem Design of an Emergent Design System Applicable in the Early Process of Design
Attestation & Authentication for USB Communications
Providing Hardware Redundancy for Highly Available Services in Virtualized Environments
Ensuring Reliability and Availability of Soft System Bus
Dependable Mechatronic Products: Closing the Intelligence Gap
Path-Based Approach to Integration Testing
Safe Software: Does It Cost More to Develop?
Using Software Structure to Predict Vulnerability Exploitation Potential
Analysing System Failure Behaviours with PRISM
Job-Shop Scheduling Problems Using Timed Planning
Quantitatively Measure Access Control Mechanisms across Different Operating Systems
Self-Checked Metamorphic Testing of an Image Processing Program
Modeling and Analysis of Advanced Automotive ECU Architectures at Early Design Stages Using EMF and Model Transformation
A Privacy Preserving Smart Metering System Supporting Multiple Time Granularities
Modeling and Verifying Security Protocols Using PAT Approach
Multi-layered Adaptive Monitoring in Service Robots
Failure Type-Aware Reliability Assessment with Component Failure Dependency
Utilization of Timed Automata as a Verification Tool for Security Protocols
Formal Analysis for Stateflow Diagrams
Automatic Synthesis of Static Fault Trees from System Models
Visualizing Multiple Program Executions to Assist Behavior Verification
Vulcloud: Scalable and Hybrid Vulnerability Detection in Cloud Computing
Yet Another Model Checker for PROMELA - The Transformation Approach
CRAX: Software Crash Analysis for Automatic Exploit Generation by Modeling Attacks as Symbolic Continuations
Towards an Enhanced Design Level Security: Integrating Attack Trees with Statecharts
Panel Description: Evolving Software Models for Global Organizations
Invalid Pointer Dereferences Detection for CPS Software Based on Extended Pointer Structures
Software Reliability Prediction and Analysis Using Queueing Models with Multiple Change-Points
A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications
On a High-Performance and Balanced Method of Hardware Implementation for AES
Implementation of the Privacy Protection in Video Surveillance System
Maximizing the Availability of Replicated Services in Widely Distributed Systems Considering Network Availability
Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume
Game-Theoretic Strategy Analysis for Data Reliability Management in Cloud Storage Systems
Secure PC Platform Based on Dual-Bus Architecture
Hierarchal Identity Based Socket for Datacenters
TaaS (Testing-as-a-Service) Design for Combinatorial Testing
A Load Scheduling Strategy for Electric Vehicles Charging System
Modeling and Verification of Safety Critical Systems: A Case Study on Pacemaker
An Investigation of Classification-Based Algorithms for Modified Condition/Decision Coverage Criteria
Towards Verification of a Service Orchestration Language
Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking
An Efficient Method of Probabilistic Model Checking
A Method of Reliability Assessment Based on Deterministic Chaos Theory for an Open Source Software
A Multi-function Error Detection Policy to Enhance Communication Integrity in Critical Embedded Systems
How Accurate Is Dynamic Program Slicing? An Empirical Approach to Compute Accuracy Bounds
Semi-Automatic Security Testing of Web Applications from a Secure Model
Supporting Automatic Code Review via Design
A Study of Estimation for the Three-Parameter Weibull Distribution Based on Doubly Type-II Censored Data Using a Least Squares Method
CRAXDroid: Automatic Android System Testing by Selective Symbolic Execution
Position Statement: Evolving Software Models for Global Organizations
Hybrid Bayesian Network Models for Predicting Software Reliability
Dependability and Software Reuse - Coupling Them by an Industrial Standard
Checking Service Instance Protection for AMF Configurations
Applying Microreboot to System Software
Collision Analysis of Safety Devices to Prevent Hazards in Safety Critical Systems
ReconBin: Reconstructing Binary File from Execution for Software Analysis
Hazardous Chemicals Vehicles Rollover Pre-warning System Based on CPS
A Safe Approach to Shrink Email Sample Set while Keeping Balance between Spam and Normal
Accelerating Taint-Based Concolic Testing by Pruning Pointer Overtaint
Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010 - Companion Volume
Recoverability of Erasure Codes Based and Intensively Written Storage Systems
Multiple-Bug Oriented Fault Localization: A Parameter-Based Combination Approach
Coping with Complexity of Testing Models for Real-Time Embedded Systems
A New Approach of Partial Order Reduction Technique for Parallel Timed Automata Model Checking
Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea
Using Multi Decision Diagram in Model Checking
Method for Evaluating k-Means Clustering for Increased Reliability in Cognitive Radio Networks
Deriving Data Dependence from/for UML State Machine Diagrams
Reliability Prediction of Web Service Composition Based on DTMC
Mobile Application Protection Solution Based on 3G Security Architecture and OpenID
RELEASE: Generating Exploits Using Loop-Aware Concolic Execution
FiLM: A Runtime Monitoring Tool for Distributed Systems
Lightweight, Distributed Key Agreement Protocol for Wireless Sensor Networks
An Estimation Model of Vulnerability for Embedded Microprocessors
Anchored Text for Software Weaving and Merging
Generating Test Cases for Context-Aware Applications Using Bigraphs
A Parameters Tuning Algorithm in Wireless Networks
Designing an Enterprise Security Strategy for Mobile Intranet Access
A DSL Framework for Policy-Based Security of Distributed Systems
Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion
A Diversity Model Based on Failure Distribution and Its Application in Safety Cases
Model-Driven Monitoring of Time-Critical Systems Based on Aspect-Oriented Programming
Software Reliability Virtual Testing for Reliability Assessment
A Model of Bug Dynamics for Open Source Software
An Empirical Study on Data Retrievability in Decentralized Erasure Code Based Distributed Storage Systems
On the Effective Use of Security Test Patterns
Design of Experiments is the "Sweet Spot" of Six Sigma
A Categorical Approach for Modeling and Verifying Dynamic Software Architecture
Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification
Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, California, USA, June 30 - July 2, 2014
Design Patterns for Integrating Variability in Timed Automata
Moving and Relocating: A Logical Framework of Service Migration for Software System Survivability
Using Partial Ordered Numbers to Control Information Flows
A Methodology of Model-Based Testing for AADL Flow Latency in CPS
Constraint Checking for XML-Based Language Specification by SAT Solver
Multi-channel Change-Point Malware Detection
An Embedded Operating System Design for the Lunar Exploration Rover
MicroApp: Architecting Web Application for Non-uniform Trustworthiness in Cloud Computing Environment
Six-Sigma Based Performance Verification in Early Development of Automatic Test Equipment
Discovering Anomalies in Semantic Web Rules
Availability Improvement in Virtualized Multiple Servers with Software Rejuvenation and Virtualization
Light-Weight CSRF Protection by Labeling User-Created Contents
An Experimental Study on Latch Up Failure of CMOS LSI
Scalable V&V Effort Estimation for Ultra-Large-Scale Systems
Environmental Metrics for Software Security Based on a Vulnerability Ontology
Verifying the Safety of Xen Security Modules
Improving Service Diagnosis through Increased Monitoring Granularity
A Trust-Based Detecting Mechanism against Profile Injection Attacks in Recommender Systems
Using Weighted Attributes to Improve Cluster Test Selection
A Survey of Software Testing in the Cloud
Efficient Multi-secret Sharing Scheme Using Room Square
A New Non-Intrusive Authentication Method Based on the Orientation Sensor for Smartphone Users
Programming on Android: Best Practices for Security and Reliability
Automatic Numerical Analysis Based on Infinite-Precision Arithmetic
The 'Best' Valid Safe Protocol Converter
Proposal for a Communication Link Model Based on Resonance Frequency of Network Users
Secure Machine Learning, a Brief Overview
Vulnerability Analysis of HD Photo Image Viewer Applications
Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software
Toward Zero-Day Attack Identification Using Linear Data Transformation Techniques
ReLACK: A Reliable VoIP Steganography Approach
Risk-Driven Software Reliability and Testing
An Agent-Based System to Support Assurance of Security Requirements
An Analysis for Understanding Software Security Requirement Methodologies
Towards a New Understanding of Advice Interference
A Security Risk Assessment Framework for SysML Activity Diagrams
A Proposal to Prevent Click-Fraud Using Clickable CAPTCHAs
Analysis of System Reliability for Cache Coherence Scheme in Multi-processor
Early Reliability Prediction: An Approach to Software Reliability Assessment in Open Software Adoption Stage
Model Checking a Lazy Concurrent List-Based Set Algorithm
A Practical Model for Rating Software Security
A Pollution Attack Resistant Multicast Authentication Scheme Tolerant to Packet Loss
Specification of Dynamic Fault Tree Concepts with Stochastic Petri Nets
Third IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2009, Shanghai, China, July 8-10, 2009
Shortening the Cycle of Software Reliability Testing with Fuzzy Discrimination