yusuke1997/dblp-id-title huggingface dataset:
User Evaluation of Industry 4.0 Concepts for Worker Engagement
Ethics as a Security Role
Lean Application: The Design Process and Effectiveness
Designing and Management of Intelligent, Autonomous Environment (IAE): The Research Framework
A Systemic Approach for Early Warning in Crisis Prevention and Management
Systemic Approach for Inclusive Design of Low-Income Dwellings in Popular Settlements at Guayaquil, Ecuador
Are We Designing Cybersecurity to Protect People from Malicious Actors?
Empirical Assessment of Cyber-physical Systems Influence on Industrial Service Sector: The Manufacturing Industry as a Case Study
A Descriptive Review of Carbon Footprint
Self-cleaning Smart City Street Lighting Design Research Based on Internet of Things Technology
Design and Realization of Police Physical Fitness Assessment Management System
Biomechanical Digital Human Models: Chances and Challenges to Expand Ergonomic Evaluation
Incorporating Human Factors in In-Plant Milk Run System Planning Models
Ergonomic Analysis in the Welding Laboratory of the Federal Institute of Paraíba - IFPB, João Pessoa Campus
UNICAP Virtual: User Experience for a VR Application in Brazilian University
Evaluation of Display Concepts for the Instrument Cluster in Urban Automated Driving
Structural Analysis of Spinal Column to Estimate Intervertebral Disk Load for a Mobile Posture Improvement Support System
Are Teammate Trust and Confidence Dissociable in Risk Intensive Human Machine Teaming?
Usability Assessment as a Guide to Improve the System Design of a Corneal Topographer
Interaction Design for the Dissemination and Sharing of Knowledge
Control of an Arm-Hand Prosthesis by Mental Commands and Blinking
Adaptive Augmented Reality User Interfaces Using Face Recognition for Smart Home Control
Satisfaction of Aged Users with Mobility Assistive Devices: A Preliminary Study of Conventional Walkers
Human Diversity and Organizational Culture
A Review of the Risk Perception of Construction Workers in Construction Safety
Human Factors Integrated System Validation in the Nuclear Power Plant Main Control Room
The Organizational Safety Culture Assessment
User-Centered-Design Approach to Evaluate the User Acceptance of Seating Postures for Autonomous Driving Secondary Activities in a Passenger Vehicle
Green Light Optimum Speed Advisory (GLOSA) System with Signal Timing Variations - Traffic Simulator Study
Bluetooth Tracking Approach for User Assistance Based in Sequential Patterns Analysis
Detection of Student Behavior Profiles Applying Neural Networks and Decision Trees
Ergonomic Design Process of the Shape of a Diagnostic Ultrasound Probe
Prevalence and Risk Factors Associated with Upper Limb Disorders and Low Back Pain Among Informal Workers of Hand-Operated Rebar Benders
A Contactless Walking Stick Using a Depth Sensor and Vibrators
Study on Interaction Modalities Between Humans and CPS in Sociotechnical Systems
Evaluation of Occupational Safety and Ergonomics in the Reuse and Recycling of Solid Materials
Construction of Multi-purpose Japanese Sign Language Database
Redesign of a Questionnaire to Assess the Usability of Websites
Artificial Intelligence and Blockchain Technology Adaptation for Human Resources Democratic Ergonomization on Team Management
Experimental Investigations and Finite Element Modelling of the Vibratory Comportment of a Manual Wheelchair
Noninvasive Estimation of Lumbar Intervertebral Disk Load Using Multiple Regression Analysis to Consider the Pelvic Tilt
Kaleidoscope of User Involvement - Product Development Methods in an Interdisciplinary Context
Monitoring Driver Posture Through Sensorized Seat
Human-Autonomous Technology Interaction: A Systemic-Structural Activity Theory Perspective
Agile Start-up Business Planning and Lean Implementation Management on Democratic Innovation and Creativity
Tutorial: The Correctness-by-Construction Approach to Programming Using CorC
Framework to Assess Policy Driven Security Misconfiguration Risks in Cloud Native Application
Auditing Code for Security Vulnerabilities with CodeSonar
Automated Assessment Tools and the Software Assurance Marketplace (SWAMP)
Lessons Learned and Challenges of Deploying Control Flow Integrity in Complex Software: the Case of OpenJDK's Java Virtual Machine
Empirical Studies on the Security and Usability Impact of Immutability
Reverse Engineering Branch Prediction Capabilities in Modern Micro-Architectures
Network Attack Surface Simplification for Red and Blue Teams
BP: Integrating Cyber Vulnerability Assessments Earlier into the Systems Development Lifecycle: A Methodology to Conduct Early-Cycle Cyber Vulnerability Assessments
OpenOSC: Open Source Object Size Checking Library With Built-in Metrics
Tutorial: Principles and Practices of Secure Crypto Coding in Java
BP: Security Concerns and Best Practices for Automation of Software Deployment Processes: An Industrial Case Study
Towards Building Practical Secure Multi-party Databases
Shhh!: 12 Practices for Secret Management in Infrastructure as Code
Fortifying IoT Devices: AI-Driven Intrusion Detection via Memory-Encoded Audio Signals
Layering Security at Global Control Points to Secure Unmodified Software
Light-Touch Interventions to Improve Software Development Security
You are Not Your Developer, Either: A Research Agenda for Usable Security and Privacy Research Beyond End Users
Industrial Strength Static Detection for Cryptographic API Misuses
Analysis of Blockchain Smart Contracts: Techniques and Insights
The Seven Turrets of Babel: A Taxonomy of LangSec Errors and How to Expunge Them
Automated Code Repair Based on Inferred Specifications
Transforming Code to Drop Dead Privileges
Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK
Development Cycle Estimation Modeling
Bridging the Bubbles: Connecting Academia and Industry in Cybersecurity Research
IEEE Secure Development Conference, SecDev 2024, Pittsburgh, PA, USA, October 7-9, 2024
Design Space Exploration for Security
IEEE Secure Development Conference, SecDev 2022, Atlanta, GA, USA, October 18-20, 2022
Software Vulnerabilities, Defects, and Design Flaws: A Technical Debt Perspective
IEEE Secure Development Conference, SecDev 2021, Atlanta, GA, USA, October 18-20, 2021
With Great Abstraction Comes Great Responsibility: Sealing the Microservices Attack Surface
Tutorial: Crypto-Ransomware: Analysis, Defense, and Criminal Negotiation
Tutorial: Threat Modeling of Cloud-based Solutions
BliMe Linter
Something Is Better Than Everything: A Distributed Approach to Audit Log Anomaly Detection
Tutorial: Principles and Practices of Secure Cryptographic Coding in Java
Building Robust Distributed Systems and Network Protocols by Using Adversarial Testing and Behavioral Analysis
Code Randomization: Haven't We Solved This Problem Yet?
Secure Multiparty Computation for Cooperative Cyber Risk Assessment
Salsa: SGX Attestation for Live Streaming Applications
Open Source Software (OSS) Transparency Tutorial
Designing Secure AI-based Systems: a Multi-Vocal Literature Review
BLADE: Towards Scalable Source Code Debloating
Evaluating Text Augmentation for Boosting the Automatic Mapping of Vulnerability Information to Adversary Techniques
Security Guarantees for the Execution Infrastructure of Software Applications
Data Integrity: Recovering from Ransomware and Other Destructive Events
Cybersecurity Deception Experimentation System
Securing Wireless Infusion Pumps
iConPAL: LLM-guided Policy Authoring Assistant for Configuring IoT Defenses
Developers Are Neither Enemies Nor Users: They Are Collaborators
Grading on a Curve: How Rust can Facilitate New Contributors while Decreasing Vulnerabilities
How Do Developers Follow Security-Relevant Best Practices When Using NPM Packages?
Tutorial: LLVM for Security Practitioners
Repairing Infrastructure-as-Code using Large Language Models
Software Security Investment: The Right Amount of a Good Thing
XI Commandments of Kubernetes Security: A Systematization of Knowledge Related to Kubernetes Security Practices
Design and User Study of a Constraint-based Framework for Business Logic Flaw Discovery
Challenges with Passwordless FIDO2 in an Enterprise Setting: A Usability Study
Static Analysis Alert Audits: Lexicon & Rules
Evasion Attacks on Object Detection Models using Attack Transferability
Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions
Tutorial: Building Secure and Trustworthy Blockchain Applications
Multi-Cluster Visualization and Live Reporting of Static Analysis Security Testing (SAST) Warnings
Tutorial: DeepState: Bringing Vulnerability Detection Tools into the Development Cycle
Dependency-Based Attacks on Node.js
CryptoAPI-Bench: A Comprehensive Benchmark on Java Cryptographic API Misuses
Tutorial: The End of Binary Protocol Parser Vulnerabilities : Using RecordFlux and SPARK to implement formally-verified binary formats and communication protocols
A Case for Combining Industrial Pragmatics with Formal Methods
Security and Privacy Threat Analysis for Solid
Input Handling Done Right: Building Hardened Parsers Using Language-Theoretic Security
Program Analysis of Cryptographic Implementations for Security
Secure MPC for Analytics as a Web Application
How to find and fix software vulnerabilities with coverity static analysis
Codiscope SecureAssist™ - The Developer's Security Assistant
Hints for High-Assurance Cyber-Physical System Design
Exploitation Techniques and Defenses for Data-Oriented Attacks
Downright: A Framework and Toolchain for Privilege Handling
Safe Client/Server Web Development with Haskell
How far are German companies in improving security through static program analysis tools?
Community Security Champions: Studying the Most Influential Users on Security Stack Exchange
A Comparative Study of Log4Sheil Test Tools
IEEE Secure Development Conference, SecDev 2023, Atlanta, GA, USA, October 18-20, 2023
Verifiable Multi-Agent Multi-Task Assignment
From Lemons to Peaches: Improving Security ROI through Security Chaos Engineering
Applied Threat Driven Security Verification
Reducing Attack Surface via Executable Transformation
A Secure Code Review Retrospective
Misplaced Trust: The Security Flaw in Modern Code Signing Process
GENIE: Guarding the npm Ecosystem with Semantic Malware Detection
A Lot Less Likely Than I Thought: Introducing Evidence-Based Security Risk Assessment for Healthcare Software
Tutorial: Deploying Secure Multi-Party Computation on the Web Using JIFF
A randomization-based, zero-trust cyberattack detection method for hierarchical systems
Towards Zero Trust: An Experience Report
Tutorial: Analyzing, Exploiting, and Patching Smart Contracts in Ethereum
Creating Abuse Cases Based on Attack Patterns: A User Study
Tutorial: Making C Programs Safer with Checked C
Certified Lightweight Contextual Policies for Android
Tutorial: Sandboxing (unsafe) C code with RLBox
Towards Understanding the Adoption of Anti-Spoofing Protocols in Email Systems
Symbolic Testing for C and Rust
BP: Profiling Vulnerabilities on the Attack Surface
Securing Dataverse with an Adapted Command Design Pattern
Continuous Fuzzing with libFuzzer and AddressSanitizer
Detecting Callback Related Deep Vulnerabilities in Linux Device Drivers
A Machine Learning Approach to SDL
Experiment: Sizing Exposed Credentials in GitHub Public Repositories for CI/CD
Beyond errno: Error Handling in "C"
FaCT: A Flexible, Constant-Time Programming Language
IEEE Secure Development, SecDev 2020, Atlanta, GA, USA, September 28-30, 2020
A Lingua Franca for Security by Design
Start Your ENGINEs: Dynamically Loadable Contemporary Crypto
Effective Static Analysis Enforcement in Complex Cloud Native Dockerized Systems
IEEE Cybersecurity Development, SecDev 2016, Boston, MA, USA, November 3-4, 2016
Triaging Android Systems Using Bayesian Attack Graphs
Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust
Tutorial: Investigating Advanced Exploits for System Security Assurance
2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, September 30 - October 2, 2018
Operational Security Log Analytics for Enterprise Breach Detection
Secure Coding for Real-Time Embedded Systems: Cert Run-Time Profile for Ada
Characterizing Static Analysis Alerts for Terraform Manifests: An Experience Report
Active Deception Framework: An Extensible Development Environment for Adaptive Cyber Deception
Securing Your Crypto-API Usage Through Tool Support - A Usability Study
An In-Depth Analysis of Android's Java Class Library: its Evolution and Security Impact
Evaluating Container Debloaters
Understanding the Challenges in Detecting Vulnerabilities of Rust Applications
Automating Threat Intelligence for SDL
A NAND Use Case for Cybersecurity Experiments
Applying the Opacified Computation Model to Enforce Information Flow Policies in IoT Applications
System-Level Framework for Logic Obfuscation with Quantified Metrics for Evaluation
Analyzing OpenAPI Specifications for Security Design Issues
Parser Weakness Enumeration: Definition and Preliminary Assessment
ASLR: How Robust Is the Randomness?
Best Practice for Developing Secure and Trusted Enterprise Storage & Computing Products
There's a Hole in the Bottom of the C: On the Effectiveness of Allocation Protection
Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly
Hands-on Tutorial: How Exploitable is Insecure C Code?
Compositional Testing of Internet Protocols
Secure DevOps Process and Implementation
Towards Improving Container Security by Preventing Runtime Escapes
Hands-On Tutorial: Auditing Static Analysis Alerts Using a Lexicon & Rules
2019 IEEE Cybersecurity Development, SecDev 2019, Tysons Corner, VA, USA, September 23-25, 2019
Tyche: A Risk-Based Permission Model for Smart Homes
A Qualitative Investigation of Insecure Code Propagation from Online Forums
BP: Formal Proofs, the Fine Print and Side Effects
Layered Formal Verification of a TCP Stack
Model-Agnostic Federated Learning for Privacy-Preserving Systems
Sharing without Showing: Secure Cloud Analytics with Trusted Execution Environments
Panel: Building a Business around Secure Development
Compressing Network Attack Surfaces for Practical Security Analysis
PRICAR: Privacy Framework for Vehicular Data Sharing with Third Parties
Fast Execute-Only Memory for Embedded Systems
Improving Attention to Security in Software Design with Analytics and Cognitive Techniques
Self-Authenticating Traditional Domain Names
Coding Practices and Recommendations of Spring Security for Enterprise Applications
Assessing the Impact of Efficiently Protecting Ten Million Stack Objects from Memory Errors Comprehensively
Maintaining Authorization Hook Placements Across Program Versions
Moving from the Developer Machine to IoT Devices: An Empirical Study
Tutorial: A Lightweight Web Application for Software Vulnerability Demonstration
Toward Semantic Cryptography APIs
A Hierarchical Database of One Million Websites
Uncovering Product Vulnerabilities with Threat Knowledge Graphs
Tutorial: Secure Your Things: Secure Development of IoT Software with Frama-C
DeTRAP: RISC-V Return Address Protection With Debug Triggers
REMIND: A Framework for the Resilient Design of Automotive Systems
Secure Development Workflows in CI/CD Pipelines
Octal: Efficient Automatic Data-Oblivious Program Transformations to Eliminate Side-Channel Leakage
Detecting Leaks of Sensitive Data Due to Stale Reads
SGL: A Domain-Specific Language for Large-Scale Analysis of Open-Source Code
Invited Tutorial: Counteracting Web Application Abuse in Malware
Towards cryptographically-authenticated in-memory data structures
Enclave-Based Secure Programming with JE
On the Universally Composable Security of OpenStack
Adaptive Security: Certificate and Key Rotation for Firmware Integrity
Refactoring the FreeBSD Kernel with Checked C
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities
Leveraging Data Provenance to Enhance Cyber Resilience
IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, September 24-26, 2017
11 things about Securing Microservice
Automated Threat Analysis and Management in a Continuous Integration Pipeline
Developers Need Support, Too: A Survey of Security Advice for Software Developers
Tutorial: Continuous Verification of Critical Software
Evaluation of Software Vulnerabilities in Vehicle Electronic Control Units
Using Dr. Fuzz, Dr. Memory, and Custom Dynamic Tools for Secure Development
Tutorial: Detecting Memory Vulnerabilities in the Components of System Code using PROMPT
Polymorphic Relaxed Noninterference
Avoiding Insecure C++ - How to Avoid Common C++ Security Vulnerabilities
Tutorial: Static Analysis at Scale with Muse
ReViCe: Reusing Victim Cache to Prevent Speculative Cache Leakage
Angr - The Next Generation of Binary Analysis
MOSAIC: A Platform for Monitoring and Security Analytics in Public Clouds
Rethinking Secure DevOps Threat Modeling: The Need for a Dual Velocity Approach
A Software Solution for Hardware Vulnerabilities
Role-Based Ecosystem for the Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications
Designing Secure and Resilient Embedded Avionics Systems
Self-Verifying Execution (Position Paper)
What are the Practices for Secret Management in Software Artifacts?
Tutorial: Secure Coding Practices, Automated Assessment Tools and the SWAMP
Tutorial: Parry and RIPOSTE: Honing Cybersecurity Skills with Challenge-Based Exercises
Android Remote Unlocking Service using Synthetic Password: A Hardware Security-preserving Approach
Java Deserialization Vulnerabilities and Mitigations
From automation to CI/CD: a comparative evaluation of threat modeling tools
Curbing the Vulnerable Parser: Graded Modal Guardrails for Secure Input Handling
Using Rules Engine in the Automation of System Security Review
Fuzzing Binaries for Memory Safety Errors with QASan
Adopting Strict Content Security Policy for XSS Protection
Enforcing Content Security by Default within Web Browsers
User Privacy in the Digital Playground: An In-Depth Investigation of Facebook Instant Games
BP: DECREE: A Platform for Repeatable and Reproducible Security Experiments
Toward Partial Proofs of Vulnerabilities
Gradient-Based Self-Organisation Patterns of Anticipative Adaptation
Exemplifying Conflict Resolution in Multi-objective Smart Micro-Grids
Taxonomy-Driven Adaptation of Multi-layer Applications Using Templates
Constructivist Approach to State Space Adaptation in Reinforcement Learning
Controlling Swarms by Visual Demonstration
ASSISI: Charged Hot Bees Shakin' in the Spotlight
Configuration Management for QoS Adaptation in Multi-Vehicle Cruise Control Systems
Self-Aggregation Techniques for Load Balancing in Distributed Systems
Prosumers as Aggregators in the DEZENT Context of Regenerative Power Production
Semantic Web Based Self-Management for a Pervasive Service Middleware
Foraging-Inspired Self-Organisation for Terrain Exploration with Failure-Prone Agents
TeaStore - A Micro-Service Reference Application
Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2010, Budapest, Hungary, 27 September - 1 October 2010
Using CVL to Support Self-Adaptation of Fault-Tolerant Service Compositions
Cross Layer Anomaly Based Intrusion Detection System
Toward an Adaptive Fair GPU Sharing Scheme in Container-Based Clusters
Self-Adaptive, Deadline-Aware Resource Control in Cloud Computing
Building a Self-Organizing Urban Bus Route
Configuration Management for Proactive Adaptation in Pervasive Environments
Augmenting the Repertoire of Design Patterns for Self-Organized Software by Reverse Engineering a Bio-Inspired P2P System
One Swarm per Queen: A Particle Swarm Learning for Stochastic Games
Darwin in Smart Power Grids - Evolutionary Game Theory for Analyzing Self-Organization in Demand-Side Aggregation
Massively Parallel Automata in Euclidean Space-Time
2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016
Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, SASOW 2011, Ann Arbor, MI, USA, October 3-7, 2011, Workshops Proceedings
Self-organizing Bandwidth Sharing in Priority-Based Medium Access
Learning in Open Adaptive Networks
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data
An Analysis of Decision-Making Techniques in Dynamic, Self-Adaptive Systems
Towards Self-Managed Systems Aware of Economic Value
An Approach for Collective Adaptation in Socio-Technical Systems
VSO: Self-Organizing Spatial Publish Subscribe
Towards a Spatial Language for Run-Time Assessments in Self-Organizing Systems
A Coordination Approach to Adaptive Pervasive Service Ecosystems
Modelling Situated Action Based on Affordances and Stigmergy
Distributed Generalized Graph Coloring
Resilient Dynamic Data Driven Application Systems as a Service (rDaaS): A Design Overview
Visualisation of Social Capital
Pervasive Self-Learning with Multi-modal Distributed Sensors
Can Degree Correlation Help to Design Resilient Superpeer Networks?
Towards Generic Adaptive Monitoring
Risk-Based Testing of Self-Adaptive Systems Using Run-Time Predictions
Self-Healing Networks - Gridlock Prevention with Capacity Regulating Traffic Lights
Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems
ASH: Tackling Node Mobility in Large-Scale Networks
A Self-Organized Learning Model for Anomalies Detection: Application to Elderly People
Robust Self-Monitoring in Trusted Desktop Grids for Self-Configuration at Runtime
FUZZBUSTER: Towards Adaptive Immunity from Cyber Threats
Self-Adaptive Selective Sensor Network Querying
Beyond Notability. Collective Deliberation on Content Inclusion in Wikipedia
Enabling Low Latency Services on LTE Networks
Implementing Feedback for Programming by Demonstration
Enabling User-Policy-Confined VM Migration in Trusted Cloud Computing
Towards Secure User-Centric Networking: Service-Oriented and Decentralized Social Networks
Distributing Genome Sequence Databases with a Publish/Subscribe Middleware
Adaptable Pervasive Flows - An Emerging Technology for Pervasive Adaptation
Multi-agent Collaboration in Distributed Self-Adaptive Systems
Efficiency and Robustness Using Trusted Communities in a Trusted Desktop Grid
Tile Assembly Simulator: A Software Package for Tile-Based Algorithmic Self-Assembly
Hierarchical Service Oriented Architecture for Development of Autonomic Systems
"Reflection, Collectives and Adaptation: the Role of Models in the Design of Collective Adaptive Systems
Adaptive Coordination to Complete Mission Goals
A Matter of the Mix: Integration of Compile and Runtime Variability
Novel Mathematics-Inspired Algorithms for Self-Adaptive Peer-to-Peer Computing
A Safety Engineering Framework for Open Adaptive Systems
F-Calculus: A Universal Programming Language of Self-Stabilizing Computational Fields
Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time
Forecasting Models for Self-Adaptive Cloud Applications: A Comparative Study
Optimised Reputation-Based Adaptive Punishment for Limited Observability
Systematic Search for Optimal Resource Configurations of Distributed Applications
A Space- and Time-Continuous Model of Self-Organizing Robot Swarms for Design Support
Outriggers and Training Wheels for Cooperating Systems
Evolution of Cooperative Information Gathering in Self-Replicating Digital Organisms
Robot Search in 3D Swarm Construction
Rekindling Parallelism
Bee Inspired Bottom-Up Self-Organization in Vehicular Traffic Management
Transfer Learning is a Crucial Capability of Intelligent Systems Self-Integrating at Runtime
Self-Managing Pervasive Computing
Self-Organization of Patrolling-Ant Algorithms
Collective Attention through Public Displays
Market-Awareness in Service-Based Systems
A Logic Language for Run Time Assessment of Spatial Properties in Self-Organizing Systems
A Framework for Self-Adaptive Dispersal of Computing Services
Beyond Sync: Distributed Temporal Coordination and Its Implementation in a Multi-Robot System
Self-Improving System Integration - Status and Challenges after Five Years of SISSY
Towards Predicting GPGPU Performance for Concurrent Workloads
Integration of Pervasive Platforms with iCasa