yusuke1997/dblp-id-title huggingface dataset:
Secure, Intelligent, Programmable Space-Air-Ground Integrated Networks
Proceedings of the 2023 Workshop on Recent Advances in Resilient and Trustworthy ML Systems in Autonomous Networks, ARTMAN 2023, Copenhagen, Denmark, 30 November 2023
How Resilient is Privacy-preserving Machine Learning Towards Data-Driven Policy? Jakarta COVID-19 Patient Study Case
Towards Robust Misbehavior Detection in Power Control Systems: A Gradient Quantization Approach
Hybrid Explainable Intrusion Detection System: Global vs. Local Approach
Model Selection for Continuous Operation of Automated Vulnerability Assessment System
Re-thinking Kernelized MLS Database Architectures in the Context of Cloud-Scale Data Stores
Verification of Business Process Entailment Constraints Using SPIN
Engineering Secure Software and Systems, Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings
Model-Based Usage Control Policy Derivation
Formal Verification of Privacy Properties in Electric Vehicle Charging
The Dark Side of Vulnerability Exploitation: A Proposal for a Research Analysis
Security (Hyper-)properties in Workflow Systems: From Specification to Verification
Report: CC-Based Design of Secure Application Systems
Whack-A-Mole Security: Incentivising the Production, Delivery and Installation of Security Updates (invited paper)
Privacy Friendly Apps - Making Developers Aware of Privacy Violations
Modeling, Composing, and Testing of Security Concerns in a Model-Driven Security Approach
Idea: Towards a Working Fully Homomorphic Crypto-processor - Practice and the Secret Computer
Model-Based Refinement of Security Policies in Collaborative Virtual Organisations
Idea: Automatic Security Testing for Web Applications
Eliminating SQL Injection and Cross Site Scripting Using Aspect Oriented Programming
A Formal Approach to Exploiting Multi-stage Attacks Based on File-System Vulnerabilities of Web Applications
Idea: Benchmarking Android Data Leak Detection Tools
Idea: Usable Platforms for Secure Programming - Mining Unix for Insight and Guidelines
Supporting the Development and Documentation of ISO 27001 Information Security Management Systems through Security Requirements Engineering Approaches
Architectural Refinement and Notions of Intransitive Noninterference
Idea: Interactive Support for Secure Software Development
Idea: Action Refinement for Security Properties Enforcement
Formal Verification of Liferay RBAC
ARTDroid: A Virtual-Method Hooking Framework on Android ART Runtime
Producing Hook Placements to Enforce Expected Access Control Policies
Towards Verifying Voter Privacy through Unlinkability
Early Report: How to Improve Programmers' Expertise at App Security?
Report: Measuring the Attack Surfaces of Enterprise Software
Service-Oriented Trust and Reputation Architecture
Security Testing of GSM Implementations
A Task Ordering Approach for Automatic Trust Establishment
Runtime Enforcement of Information Flow Security in Tree Manipulating Processes
On-Device Control Flow Verification for Java Programs
Middleware Support for Complex and Distributed Security Services in Multi-tier Web Applications
Idea: Reusability of Threat Models - Two Approaches with an Experimental Evaluation
Enforcing Privacy in Decentralized Mobile Social Networks
Empirical Analysis and Modeling of Black-Box Mutational Fuzzing
Secure Code Generation for Web Applications
Protection Poker: Structuring Software Security Risk Assessment and Knowledge Transfer
Idea: Efficient Evaluation of Access Control Constraints
After-Life Vulnerabilities: A Study on Firefox Evolution, Its Vulnerabilities, and Fixes
Idea: Supporting Policy-Based Access Control on Database Systems
Design of Adaptive Security Mechanisms for Real-Time Embedded Systems
KASLR is Dead: Long Live KASLR
Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs
Supporting the Development and Documentation of Trustworthy ICT Systems according to Security Standard through Patterns and Security Requirements Engineering Approaches
Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Security Sensitive Data Flow Coverage Criterion for Automatic Security Testing of Web Applications
Report: Modular Safeguards to Create Holistic Security Requirement Specifications for System of Systems
Proceedings of the Doctoral Symposium of the International Symposium on Engineering Secure Software and Systems (ESSoS 2012), Eindhoven, The Netherlands, February 15, 2012
A Scalable Approach to Full Attack Graphs Generation
Accelerometer-Based Device Fingerprinting for Multi-factor Mobile Authentication
MEDS: The Memory Error Detection System
Idea: Optimising Multi-Cloud Deployments with Security Controls as Constraints
Report: Functional Security Testing Closing the Software - Security Testing Gap: A Case from a Telecom Provider
Idea: State-Continuous Transfer of State in Protected-Module Architectures
Attack-preserving Security Protocol Transformations
Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations
Explaining Unwanted Behaviours in Context
A Formal Approach for Inspecting Privacy and Trust in Advanced Electronic Services
Hunting Application-Level Logical Errors
Idea: Callee-Site Rewriting of Sealed System Libraries
Towards a Reference Architecture for Access Control in Distributed Web Applications
Towards Unified Authorization for Android
Automatically Extracting Threats from Extended Data Flow Diagrams
Towards Automated Android App Collusion Detection
User-Centric Security Assessment of Software Configurations: A Case Study
A Vision for Enhancing Security of Cryptography in Executables
A Sound Decision Procedure for the Compositionality of Secrecy
Reverse Engineering Android Apps With CodeInspect (invited paper)
Security Testing Beyond Functional Tests
An Architecture-Centric Approach to Detecting Security Patterns in Software
Cross-Layer Data-Centric Usage Control
The Heavy Tails of Vulnerability Exploitation
Security of the OSGi Platform
Category-Based Authorisation Models: Operational Semantics and Expressive Power
Pattern-Based Confidentiality-Preserving Refinement
Formalisation and Implementation of the XACML Access Control Mechanism
Idea: Writing Secure C Programs with SecProve
Control What You Include! - Server-Side Protection Against Third Party Web Tracking
The Privacy Issue for Pseudonymized Customers in the Smart Grid
Enhancing Safety and Security of Distributed Systems through Formal Patterns
Control-Flow Integrity in Web Applications
Model-Driven Security Policy Deployment: Property Oriented Approach
Inferring Semantic Mapping Between Policies and Code: The Clue is in the Language
Idea-Caution Before Exploitation: The Use of Cybersecurity Domain Knowledge to Educate Software Engineers Against Software Vulnerabilities
Idea: Using System Level Testing for Revealing SQL Injection-Related Error Message Information Leaks
Security Validation of Business Processes via Model-Checking
Idea: A Unifying Theory for Evaluation Systems
Systematically Eradicating Data Injection Attacks Using Security-Oriented Program Transformations
Toward Non-security Failures as a Predictor of Security Faults and Failures
JTR: A Binary Solution for Switch-Case Recovery
FPRandom: Randomizing Core Browser Objects to Break Advanced Device Fingerprinting Techniques
On the Relation between Redactable and Sanitizable Signature Schemes
An Architecture for the Analysis and Management of Security in Industrial Control Systems
Idea: Towards an Inverted Cloud
Typed Assembler for a RISC Crypto-Processor
Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
Challenges in Implementing an End-to-End Secure Protocol for Java ME-Based Mobile Data Collection in Low-Budget Settings
Risk-driven Security Testing versus Test-driven Security Risk Analysis
Off-Limits: Abusing Legacy x86 Memory Segmentation to Spy on Enclaved Execution
Semantics-Based Repackaging Detection for Mobile Apps
Enforcing Mobile Application Security Through Probabilistic Contracts
Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings
Access Control Policy Administration supporting User-defined Privacy Preferences: A Use-case in the Context of Patient-centric Health-care
The Security Twin Peaks
Idea: Towards Architecture-Centric Security Analysis of Software
Engineering Secure Software and Systems - Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings
Security Guarantees and Evolution: From Models to Reality
Security@Runtime: A Flexible MDE Approach to Enforce Fine-grained Security Policies
Formal Verification of Application-Specific Security Properties in a Model-Driven Approach
LASARUS: Lightweight Attack Surface Reduction for Legacy Industrial Control Systems
An Idea of an Independent Validation of Vulnerability Discovery Models
Idea: Trusted Emergency Management
From Formal Access Control Policies to Runtime Enforcement Aspects
Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings
Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), Munich, Germany, February 26, 2014
Fault-Tolerant Non-interference
Detecting Code Reuse Attacks with a Model of Conformant Program Execution
Application-Replay Attack on Java Cards: When the Garbage Collector Gets Confused
Automated Formal Verification of Application-specific Security Properties
A Systematic Study of Cache Side Channels Across AES Implementations
On the Security Cost of Using a Free and Open Source Component in a Proprietary Product
dkal ⋆ : Constructing Executable Specifications of Authorization Protocols
HexPADS: A Platform to Detect "Stealth" Attacks
Automatic Conformance Checking of Role-Based Access Control Policies via Alloy
Transversal Policy Conflict Detection
AppPAL for Android - Capturing and Checking Mobile App Policies
A Security Ontology for Security Requirements Elicitation
SEQUOIA: Scalable Policy-Based Access Control for Search Operations in Data-Driven Applications
On the Static Analysis of Hybrid Mobile Apps - A Report on the State of Apache Cordova Nation
Idea: Opcode-Sequence-Based Malware Detection
Report: Extensibility and Implementation Independence of the .NET Cryptographic API
Learning How to Prevent Return-Oriented Programming Efficiently
Scalable Authorization Middleware for Service Oriented Architectures
Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility Study
Adaptable Authentication Model: Exploring Security with Weaker Attacker Models
A Fully Homomorphic Crypto-Processor Design
Idea: Optimized Automatic Sanitizer Placement
Defeating Zombie Gadgets by Re-randomizing Code upon Disclosure
Plagiarizing Smartphone Applications: Attack Strategies and Defense Techniques
Towards an Authorization Framework for App Security Checking
Proceedings of the 1st International Workshop on Innovations in Mobile Privacy and Security, IMPS 2016, co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2016), London, UK, April 6, 2016
Parametric Attack Graph Construction and Analysis
Detecting Privacy Leaks in Android Apps
Engineering Secure Software and Systems, First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings
Idea: Benchmarking Indistinguishability Obfuscation - A Candidate Implementation
A Modeling and Formal Approach for the Precise Specification of Security Patterns
Idea: Embedded Fault Injection Simulator on Smartcard
Automatic and Robust Client-Side Protection for Cookie-Based Sessions
Automatic Generation of Smart, Security-Aware GUI Models
Evaluation of Adaptive Attacker Models
Model Checking the Information Flow Security of Real-Time Systems
Idea: Enforcing Security Properties by Solving Behavioural Equations
Predictability of Enforcement
Optimal Trust Mining and Computing on Keyed MapReduce
Sound and Precise Cross-Layer Data Flow Tracking
Formally-Based Black-Box Monitoring of Security Protocols
Compositional Verification of Application-Level Security Properties
SessionShield: Lightweight Protection against Session Hijacking
Idea: Automatic Localization of Malicious Behaviors in Android Malware with Hidden Markov Models
An Empirical Study on the Effectiveness of Security Code Review
Natural Language Insights from Code Reviews that Missed a Vulnerability - A Large Scale Study of Chromium
Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings
Evolution of Security Requirements Tests for Service-Centric Systems
POODLEs, More POODLEs, FREAK Attacks Too: How Server Administrators Responded to Three Serious Web Vulnerabilities
BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks
A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications
OMEN: Faster Password Guessing Using an Ordered Markov Enumerator
Model-Based Policy Derivation for Usage Control Enforcement
Idea: Visual Analytics for Web Security
Idea: Java vs. PHP: Security Implications of Language Choice for Web Applications
Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality
PhoneWrap - Injecting the "How Often" into Mobile Apps
One Leak Is Enough to Expose Them All - From a WebRTC IP Leak to Web-Based Network Scanning
Are Your Training Datasets Yet Relevant? - An Investigation into the Importance of Timeline in Machine Learning-Based Malware Detection
Authorization Enforcement Usability Case Study
Experiences with PDG-Based IFC
Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings
Security Analysis of Drone Communication Protocols
Quantitative Security Analysis for Programs with Low Input and Noisy Output
Using Security Policies to Automate Placement of Network Intrusion Prevention
Idea: Measuring the Effect of Code Complexity on Static Analysis Results
Confidentiality for Probabilistic Multi-threaded Programs and Its Verification
Idea: Simulation Based Security Requirement Verification for Transaction Level Models
Progress-Sensitive Security for SPARK
Anatomy of Exploit Kits - Preliminary Analysis of Exploit Kits as Software Artefacts
Federated Authorization for SaaS applications
Idea: Towards a Vision of Engineering Controlled Interaction Execution for Information Services
Idea: A Reference Platform for Systematic Information Security Management Tool Support
PrivacyMeter: Designing and Developing a Privacy-Preserving Browser Extension
Idea: Security Engineering Principles for Day Two Car2X Applications
Improving Reuse of Attribute-Based Access Control Policies Using Policy Templates
Enforcing Full-Stack Memory-Safety in Cyber-Physical Systems
Improving Manageability of Access Control Policies
Lightweight Modeling and Analysis of Security Concepts
Idea: A Feasibility Study in Model Based Prediction of Impact of Changes on System Quality
Exploring the Relationship Between Architecture Coupling and Software Vulnerabilities
Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests
Architectures for Inlining Security Monitors in Web Applications
A Voucher-Based Security Middleware for Secure Business Process Outsourcing
Idea: Enforcing Consumer-Specified Security Properties for Modular Software
Using partial dynamic FPGA reconfiguration to support real-time dependability
A Dependable Alternative to the Spanning Tree Protocol
Extensible online log analysis system
Towards Dependable Measurements in Coastal Sensors Networks
Coarse-grained resilience benchmarking using logic score of preferences: ad hoc networks as a case study
Understanding (Mis)Information Spreading for Improving Corporate Network Trustworthiness
Software Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work?
Dependable Computing - 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings
An event correlation approach for fault diagnosis in SCADA infrastructures
The Challenge of Detection and Diagnosis of Fugacious Hardware Faults in VLSI Designs
Detecting interferences in aspect oriented programs
Using Interleaving to Avoid the Effects of Multiple Adjacent Faults in On-Chip Interconnection Lines
Open Challenges in the Resilience Evaluation of Ad Hoc Networks
Fault Injection in the Automotive Standard ISO 26262: An Initial Approach
Automatically complementing protocol specifications from network traces
Evaluating degree of systems' dependability with semi-structured assurance case
A simulation-driven approach for assessing risks of complex systems
Formal Analysis of Dynamic Domain Establishment Protocol in Cloud Logging Service
Exploiting SDN Approach to Tackle Cloud Computing Security Issues in the ATC Scenario
An efficient, dynamically adaptive method to tolerate transient faults in multi-core systems
Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks
Towards Benchmarking of Functional Safety in the Automotive Industry
Model-Driven Evaluation of User-Perceived Service Availability
Proceedings of the 13th European Workshop on Dependable Computing, EWDC '11, Pisa, Italy, May 11-12, 2011
Issues and Ongoing Work on State-Driven Workload Generation for Distributed Systems
Error detection framework for complex software systems
GRIMACE: GeneRIc MetAmodel for Domain Component modElling
Towards a formal framework for reasoning about the resilience of dynamic interactive systems
GraphSeq Revisited: More Efficient Search for Patterns in Mobility Traces
Enhancing Intrusion Detection in Wireless Sensor Networks through Decision Trees
Towards benchmarking the trustworthiness of web applications code
Towards middleware-based fault-tolerance in RFID systems
Improving the Transfer of Safety and Security Competences to Industry: The RISKY Approach
Security issues of a phasor data concentrator for smart grid infrastructure
csXception®: First Steps to Provide Fault Injection for the Development of Safe Systems in Automotive Industry
k-bounded set objects in eventually synchronous distributed systems with churn and continuous accesses
GLIMPSE: a generic and flexible monitoring infrastructure
Self-checking widgets for interactive cockpits
Operational reliability of an aircraft with adaptive missions
Intercept: Profiling Windows Network Device Drivers
Inter-domain stealthy port scan detection through complex event processing
A GPS Spoofing Resilient WAMS for Smart Grid
Detection and Geovisualization of Abnormal Vessel Behavior from Video
AUTOPIA architecture for automatic driving and maneuvering
Using edit distance and junction feature to detect and recognize arrow road marking
Improving Arterial Performance Measurement Using Traffic Signal System Data
Design and implementation of autonomous vehicle valet parking system
Dynamic signal optimization for traffic networks
Non-Guided Depth Completion with Adversarial Networks
Realistic optimal policies for energy-efficient train driving
Tracking Ground Vehicles in Heavy-traffic Video by Grouping Tracks of Vehicle Corners
Variational Autoencoder-Based Vehicle Trajectory Prediction with an Interpretable Latent Space
Cooperative intersection management: Real implementation and feasibility study of a sequence based protocol for urban applications
Risk-Averse Decision Support for Optimal Use of Electric Vehicles
Fitness Function Templates for Testing Automated and Autonomous Driving Systems in Intersection Scenarios
Application of line clustering algorithms for improving road feature detection
Advanced convoy control strategy for autonomously driven railway vehicles
Optimising the selection of samples for robust lidar camera calibration
System-Wide Impacts of Green Extension Transit Signal Priority
Closed-Loop Planning for Disaster Evacuation with Stochastic Arrivals
Detection and Classification of Bicyclist Group Behavior for Automated Vehicle Applications
Online Charge Scheduling for Electric Vehicles in Autonomous Mobility on Demand Fleets
Real-Time Robust Pinch Detection Algorithm for Automobile Applications
Analysis of the Effects of Perception Inconsistency Among Interacting Vehicles in Partially Observable Environments
Feasibility and Suppression of Adversarial Patch Attacks on End-to-End Vehicle Control
Blind Area Traffic Prediction Using High Definition Maps and LiDAR for Safe Driving Assist
An Optimal Control Based Motion Planning Method in the Environment of Positioning Errors
A Deep-Learning Approach for the Detection of Overexposure in Automotive Camera Images
Trajectory-Based Clustering of Real-World Urban Driving Sequences with Multiple Traffic Objects
A comprehensive optimization method for complex industrial processes
CrowdRep: A Blockchain-based Reputation System for Crowdsourced HD Map Update
Complementing Transit Signal Priority with speed and dwell time extension advisories
Tracking Trip Changes with Event Triggering
SAFE-STOP System: Tactical Intention Awareness Based Emergency Collision Avoidance for Malicious Cut-in of Surrounding Vehicle
Research on Battery Fault Diagnosis Method Based on Entropy
Regional traffic state consensus optimization based on computational experiments
Frog and Blade Based Branching Direction Detection in LiDAR Data
Satisfiability verification of engineering data safety rules of balise based on ROBDD
Race-track testing of a torque vectoring algorithm on a motor-in-wheel car using a model-based methodology with a HiL and multibody simulator setup
Intelligent driver monitoring systems based on physiological sensor signals: A review
Air-fuel ratio regulation using a discrete-time internal model controller
Save Money, Get Charged: Facility-Tied Energy Management with Unknown and Unscheduled EV Charging
Digital Twins to Alleviate the Need for Real Field Data in Vision-Based Vehicle Speed Detection Systems
Modeling of the Traffic Vehicle Lane Change Execution in Autonomous Driving Virtual Test
Efficient Online Transfer Learning for 3D Object Classification in Autonomous Driving
Hybrid-state driver/vehicle modelling, estimation and prediction
Qualitative Analysis of Inter-Vehicle Relationship for Scenario Parsing
Deep Learning based Geometric Features for Effective Truck Selection and Classification from Highway Videos
Space and time-dependant bus accessibility: A case study in Rome
An Algorithm for Identifying Red Light Runners from Radar Trajectory Data
Scene Novelty Prediction from Unsupervised Discriminative Feature Learning
TP-GDM: Trajectory Prediction-based Game Decision-Making Model and A Case Study on Merging
Implementation and Application of a Stochastic Agent-based Model for Passenger Flow Distribution Predicting in Planned Metro Station Service Disruption Scenario
To Develop Human-like Automated Driving Strategy Based on Cognitive Construction: Appraisal and Perspective
Service level-oriented route guidance in road traffic networks
Impacts of Rain and Waterlogging on Traffic Speed and Volume on Urban Roads
Railway Delay Prediction with Spatial-Temporal Graph Convolutional Networks
A solution to the road network design problem for multimodal flow
A fuzzy-logic classifier for estimating the reliability of the self calibration of an embedded stereovision system
Vehicle recognition and TTC estimation at night based on spotlight pairing
Subsign detection with region-growing from contrasted seeds
Integrating Deep Reinforcement Learning with Optimal Trajectory Planner for Automated Driving
Examining Autonomous Vehicle Operating Systems Vulnerabilities using a Cyber-Physical Approach
iICAS: Intelligent intersection collision avoidance system
Analysis of Network-Wide Impacts of Behavioral Response Curves for Evacuation Conditions
Optimization of the coupling operation for train platoon in the junction area
Recursive conflict resolution for cooperative motion planning in dynamic highway traffic