yusuke1997/dblp-id-title huggingface dataset:
2015 Forum on Specification and Design Languages, FDL 2015, Barcelona, Spain, September 14-16, 2015
VHDL-AMS Model Generation from Other HDL Language
UML-Executable Functional Models of electronic systems in the VIPERS Virtual Prototyping Methodology
Systematic RISC-V based Firmware Design ⋆
A Common Manipulation Framework for Transistor-Level Languages
A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set
A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level
Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings
Hardware Communication Refinement in Digital Signal Processing
A SystemC TLM2 model of communication in wormhole switched Networks-On-Chip
A Verification Tool Implementation using Introspection Mechanism
Analog Circuit Modeling in SystemC
Fast Option Ranking in Autonomous Systems for Criticality Evasion under Uncertainties
Representing mapping and scheduling decisions within dataflow graphs
A Flexible Graph Language for a Model-Based Semi-Automatic CGRA Compilation Flow
Schizophrenia and causality in the context of refined clocks
Scandal: Systemc analysis for nondeterminism anomalies
Transformation of event-driven HDL blocks for native integration into time-driven system models
A Latency, Preemption and Data Transfer Accurate Adaptive Transaction Level Model for Efficient Simulation of Pipelined Buses
Generation of MARTE Allocation Models from Activity Threads
Object-Oriented ASIP Design and Synthesis
Modeling of Embedded Software Multitasking in SystemC/OSSS
Rapid virtual prototyping of real-time systems using predictable platform characterizations
Common HDL-Matlab Simulation Environment
Verification of the Properties of Asynchronous Real-Time Distributed Systems using the B-Formalism
Timed Asynchronous Circuits Modeling using SystemC
Another take on functional system-level design and modeling
Automatic Design of Microfluidic Devices
Invasive computing with iOMP
Modelling Program-State Machines in SystemC
Analitic Performance Analysis of Distributed Embedded Systems
Building a dynamically reconfigurable system through a high development flow
Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems
Event-Triggered vs. Time-Triggered Communications with UML MARTE
Transaction level modeling of a FlexRay communication network
Flexpoch: Feature-rich 64-bit DateTime Encoding
Conservative behavioural modelling in systemc-AMS
Rethinking of I/O-automata composition
MetaSMT: a unified interface to SMT-LIB2
Asil decomposition using SMT
Polynomial-metamodel assisted fast power optimization of Nano-CMOS PLL components
Generic Behavioral Modeling of Analog and Mixed-Signal Systems
Bringing Uncertainties into System Simulation: A SystemC AMS Case Study
Exercises in Architecture Specification Using CLaSH
Non-Linear Circuit Simulation using MATLAB
Efficient implementation and abstraction of systemc data types for fast simulation
Enabler-based synchronizer model for clock domain crossing static verification
Automated Testing for Cyber-physical Systems: From Scenarios to Executable Tests
Circuit Design by Refinement in EventB1
SoC modelling for virtual prototyping with VHDL-AMS
Behavioral modeling of a CMOS video sensor platform using systemc AMS/TLM
An Extensible and Flexible Methodology for Analyzing the Cache Performance of Hardware Designs
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0
Timing enclaves for performance in Lingua Franca
Model Driven Hardware Design: One Step Forward to Cope with the Aerospace Industry Needs
Rules for Analog and Mixed-Signal VHDL-AMS Modeling
Mixed-criticality system modelling with dynamic execution mode switching
Top-down hierarchical design flow application
Metamodels and MDA Transformations for Embedded Systems
Integrating system descriptions by clocked guarded actions
Executable Specification of Novel Display Controllers
SafeX: Open Source Hardware and Software Components for Safety-Critical Systems
UML System-Level Analysis and Design of Secure Communication Schemes for Embedded Systems
The Quiny SystemC Front End: Self-Synthesising Designs
Extension of SystemC framework towards power analysis
Micromotor Simulation with VHDL-AMS
SystemC Simulation of Networked Embedded Systems
A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts
Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models
Designing low-power wireless sensor networks
Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology
LLM-assisted Metamorphic Testing of Embedded Graphics Libraries
Processor Centric Specification and Modelling of MPSoCs
The unique challenges of debugging design and verification code jointly in SystemVerilog
Formal Support for Untimed SystemC Specifications: Application to High-level Synthesis
A Design and Verification Methodology for Mixed-Signal Systems Using SystemC-AMS
VHDL-AMS model of a dual gate graphene FET
Modeling Field Bus Communications for Automotive Applications
Extensible and Configurable RISC-V Based Virtual Prototype
A Theoretical and Experimental Review of SystemC Front-ends
Extracting Mode Diagrams from Blech Code
Application - Platform Performance Modeling and Evaluation
A novel approach for assertion based verification of DDR memory protocols
Systemc-clang: An open-source framework for analyzing mixed-abstraction SystemC models
Layered UML Workload and SystemC Platform Models
Power Modelling and Simulation Flow for Communication Protocols
Performance analysis method for RT systems: Promartes for autonomous robot
High level synthesis using operation properties
Mining signal temporal logic specifications for hybrid systems
Integrating circuit analyses for assertion-based verification of programmable AMS circuits
Reuse of a HW/SW coverification environment during the refinement process of a functional C model down to an executable HW/SW specification
Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper
Reliability simulation of electronic circuits with VHDL-AMS
A Sigma-delta Bandpass ADC Modelling in Superconducting RSFQ Technology with VHDL-AMS
Supporting Consistency Control between Functional and Structural Views in Interface-based Design Models
Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012
A Framework for the Design of Heterogenous Systems
Towards simulation based evaluation of safety goal violations in automotive systems
MCF: A Metamodeling-based Visual Component Composition Framework
SystemC-Based Communication and Performance Analysis
Trends and Challenges in Avionics Electronics
Using SystemCAMS for Heterogeneous Systems Modelling at TIER-1 Level
A property language for the specification of hardware-dependent embedded system software
Designing Imperfect Cyber-Physical Systems
A function approach for simple wireless sensor node energy consumption modeling
Formal Plausibility Checks for Environment Constraints
Enhancing analysability and time predictability in UML/MARTE component-based application models
A Multi-Rate Precision Timed Programming Language for Multi-Cores
A Backend Tool for the Integration of Memory Optimizations into Embedded Software
Bounded Fault Tolerance Checking
SystemC-AMS Modeling of an Electromechanical Harvester of Vibration Energy
Invasive computing - Concepts and overheads
Supporting AMS-System Design
High-Level Reconfiguration Modeling in SystemC
SystemCXML: An Exstensible SystemC Front end Using XML
Formal Specification of Delta MINs for MPSOC in the ACL2 Logic
Software-Compiled System Desing: a methodology based approach to the specification & desing of Programmable SoC
Supervisory Control for Dynamic Feature Configuration in Product Lines
Model-Driven Methodology for the Development of Multi-level Executable Environments
Reusing Real-Time Systems Design Experience
Using SysML for Modelling and Code Generation for Smart Sensor ASICs
Optimizing HW/SW Co-simulation based on run-time model switching
A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions
Minimum Distance between Bent and Resilient Boolean Functions
Arithmetic of Split Kummer Surfaces: Montgomery Endomorphism of Edwards Products
Binary Covering Arrays and Existentially Closed Graphs
Secure Message Transmission by Public Discussion: A Brief Survey
On the Impossibility of Strong Encryption Over
List Decoding of Binary Codes-A Brief Survey of Some Recent Results
Ideal Secret Sharing Schemes for Useful Multipartite Access Structures
A Survey of Algebraic Unitary Codes
On the Effects of Pirate Evolution on the Design of Digital Content Distribution Systems
Hunting for Curves with Many Points
On Cayley Graphs, Surface Codes, and the Limits of Homological Coding for Quantum Error Correction
Equal-Weight Fingerprinting Codes
Loiss: A Byte-Oriented Stream Cipher
Locally Decodable Codes: A Brief Survey
ERINDALE: A Polynomial Based Hashing Algorithm
Separation and Witnesses
On the Link of Some Semi-bent Functions with Kloosterman Sums
Lattice Codes for the Gaussian Wiretap Channel
An Experiment of Number Field Sieve over GF( p ) of Low Hamming Weight Characteristic
Problems on Two-Dimensional Synchronization Patterns
The Minimum Distance of Graph Codes
New Family of Non-Cartesian Perfect Authentication Codes
Coding and Cryptology - Third International Workshop, IWCC 2011, Qingdao, China, May 30-June 3, 2011. Proceedings
Recent Developments in Low-Density Parity-Check Codes
Variations on Encoding Circuits for Stabilizer Quantum Codes
Unconditionally Secure Approximate Message Authentication
On Weierstrass Semigroups of Some Triples on Norm-Trace Curves
A New Family of Quadriphase Sequences with Low Correlation
Coding and Cryptology, Second International Workshop, IWCC 2009, Zhangjiajie, China, June 1-5, 2009. Proceedings
A Class of Three-Weight and Four-Weight Codes
An Infinite Class of Balanced Vectorial Boolean Functions with Optimum Algebraic Immunity and Good Nonlinearity
A Signature Scheme with Efficient Proof of Validity
Faster 2-Regular Information-Set Decoding
List Decoding for Binary Goppa Codes
On the Applicability of Combinatorial Designs to Key Predistribution for Wireless Sensor Networks
A New Client-to-Client Password-Authenticated Key Agreement Protocol
Algorithms for the Shortest and Closest Lattice Vector Problems
On Relationship of Computational Diffie-Hellman Problem and Computational Square-Root Exponent Problem
Local Duality and the Discrete Logarithm Problem
Multiplexing Realizations of the Decimation-Hadamard Transform of Two-Level Autocorrelation Sequences
Elliptic Twin Prime Conjecture
Secret-Sharing Schemes: A Survey
Integrating Attributes into Role-Based Access Control
Facility Location Problem Under Local Differential Privacy Without Super-Set Assumption
Towards User-Oriented RBAC Model
A Graph-Based Framework for ABAC Policy Enforcement and Analysis
Maintaining the Confidentiality of Interoperable Databases with a Multilevel Federated Security System
Towards Privacy-Enhanced Authorization Policies and Languages
Shoal: Query Optimization and Operator Placement for Access Controlled Stream Processing Systems
Measuring the Overall Security of Network Configurations Using Attack Graphs
Database Security IX: Status and Prospects, Proceedings of the Ninth Annual IFIP WG11 Working Conference on Database Security, Rensselaerville, New York, USA, 13-16 August 1995
Enabling the Deployment of ABAC Policies in RBAC Systems
Access Control for the Shuffle Index
The Design and Implementation of a Data Level Database Inference Detection System
A new Authorization Model for Object-Oriented Databases
Attack-Resilient Blockchain-Based Decentralized Timed Data Release
A Unified Audit Expression Model for Auditing SQL Queries
Data and Applications Security and Privacy XXIV, 24th Annual IFIP WG 11.3 Working Conference, Rome, Italy, June 21-23, 2010. Proceedings
XML Streams Watermarking
Design and Analysis of Querying Encrypted Data in Relational Databases
Preventing Manipulation Attack in Local Differential Privacy Using Verifiable Randomization Mechanism
Multilevel Secure Transaction Processing: Status and Prospects
Secure Method Calls by Instrumenting Bytecode with Aspects
A Comparison of Logical-Formula and Enumerated Authorization Policy ABAC Models
Securely Distributing Centralized Multimedia Content Utilizing Peer-to-Peer Cooperation
Deductive Database Security
Assessing Attack Impact on Business Processes by Interconnecting Attack Graphs and Entity Dependency Graphs
CASFinder: Detecting Common Attack Surface
Invited Talk - Towards Semantics-Aware Access Control
Research Directions in Data and Applications Security XVIII, IFIP TC11/WG 11.3 Eighteenth Annual Conference on Data and Applications Security, July 25-28, 2004, Sitges, Catalonia, Spain
Distributed Query Evaluation over Encrypted Data
Efficiency and Security Trade-Off in Supporting Range Queries on Encrypted Databases
A Scalable and Secure Cryptographic Service
Fast Distributed Evaluation of Stateful Attribute-Based Access Control Policies
Administration Rights in the SDSD-System
Fair Private Set Intersection with a Semi-trusted Arbiter
Customer Requirements for Security in Relational Database Management
The Impact of Inheritance on Security in Object-Oriented Database Systems
Efficient and Enhanced Solutions for Content Sharing in DRM Systems
Granularity of Data Protection for MLS Applications and DBMSs
Compile-Time Flow Analysis of Transactions and Methods in Object-Oriented Databases
Virtually Isolated Network: A Hybrid Network to Achieve High Level Security
Tuple-level vs Element-level Classification
Supporting the Requirements for Multilevel Secure and Real-Time Databases in Distributed Environments
Discretionary Access Control in Object-Oriented Engineering Database Systems
Preserving Integrity and Confidentiality of a Directed Acyclic Graph Model of Provenance
On Practical Aspects of PCFG Password Cracking
End-to-End Protection of IoT Communications Through Cryptographic Enforcement of Access Control Policies
A Personal View of DBMS Security
Enterprise Modeling and Security Policies
FamilyID: A Hybrid Approach to Identify Family Information from Microblogs
Security Analysis of database Schema Information
A Framework for High Assurance Security of Distributed Objects
Visor: Privacy-Preserving Reputation for Decentralized Marketplaces
Integrated Management of Security Policies
Leveraging UML for Security Engineering and Enforcement in a Collaboration on Duty and Adaptive Workflow Model That Extends NIST RBAC
Exclusive Strategy for Generalization Algorithms in Micro-data Disclosure
ODAR: An On-the-fly Damage Assessment and Repair System for Commercial Database Applications
Security Enforcement in the DOK Federated Database System
Cyber Situation Awareness: Modeling the Security Analyst in a Cyber-Attack Scenario through Instance-Based Learning
A Locking Protocol for MLS Databases Providing Support For Long Transactions
Searchable Encryption to Reduce Encryption Degradation in Adjustably Encrypted Databases
Crowdsourcing Under Data Poisoning Attacks: A Comparative Study
Unlinkable Content Playbacks in a Multiparty DRM System
Differentially Private Multi-dimensional Time Series Release for Traffic Monitoring
The SPEAR Data Design Method
A Framework for Trusted Wireless Sensor Networks
Reorganization of Database Log for Information Warfare Data Recovery
Disclosure Limitation using Autocorrelated Noise
On the Formal Analysis of a Spatio-temporal Role-Based Access Control Model
The Inference Problem and Updates in Relational Databases
Database Security: Status and Prospects. Results of the IFIP WG 11.3 Initial Meeting, Annapolis, Maryland, USA, October 1987
Bloom Filter Look-Up Tables for Private and Secure Distributed Databases in Web3
Jibber-Jabber!: Encoding the (Un-)Natural Language of Network Devices and Applications
Enforcing Request Integrity in Web Applications
Policy Languages and Their Suitability for Trust Negotiation
Special Care Needed for the Heart of Medical Information Systems
The Analysis of Windows Vista Disk Encryption Algorithm
Report of Discussion Sessions Following Presentations
Randomizing Smartphone Malware Profiles against Statistical Mining Techniques
Reasoning About Firewall Policies Through Refinement and Composition
Accurate Accident Reconstruction in VANET
Operating Under Constraints: Identifying Requirements for Enhanced Cyber Resilience Management
A Distributed Ledger Approach to Digital Twin Secure Data Sharing
Mitigating Privacy Vulnerability Caused by Map Asymmetry
Privacy-Preserving Anomaly Detection Using Synthetic Data
gVault: A Gmail Based Cryptographic Network File System
A New Approach to Secure Logging
Formalizing and Validating Complex Security Requirements
Trusted Platform and Privacy Management in Cyber Physical Systems: The DUCA Framework
Adversarial Sampling Attacks Against Phishing Detection
Applying OMT for Designing Multilevel Database Applications
Resolving Information Flow Conflicts in RBAC Systems
Adaptive Image Adversarial Example Detection Based on Class Activation Mapping
That's My DNA: Detecting Malicious Tampering of Synthesized DNA
MCoM: A Semi-Supervised Method for Imbalanced Tabular Security Data
Differentially Private K-Skyband Query Answering Through Adaptive Spatial Decomposition
Analyzing Transaction Logs for Effective Damage Assessment
Secure Authorisation for Web Services
An Analysis of Database Security with Queries for High Order Statistical Information
Adapting Query Optimization Techniques for Efficient Alert Correlation
Revocation of Obligation and Authorisation Policy Objects
A Timestamp Ordering Algorithm for Secure, Single-Version, Multi-Level Databases
Security Vulnerabilities in Software Systems: A Quantitative Perspective
DPNeT: Differentially Private Network Traffic Synthesis with Generative Adversarial Networks
Data and Applications Security and Privacy XXXVIII - 38th Annual IFIP WG 11.3 Conference, DBSec 2024, San Jose, CA, USA, July 15-17, 2024, Proceedings
HardIDX: Practical and Secure Index with SGX
eMEDAC: Role-based Access Control Supporting Discretionary and Mandatory Features
Human Digital Twins: Efficient Privacy-Preserving Access Control Through Views Pre-materialisation
Implementing Real-Time Update of Access Control Policies
XML Access Control Systems: A Component-Based Approach
Private and Secure Secret Shared MapReduce (Extended Abstract) - (Extended Abstract)
IRI: A Quantitative Approach to Inference Analysis in Relational Databases
Blockchain-Based Auditing of Transparent Log Servers
Evaluating the Risk of Adopting RBAC Roles
The Interval Revocation Scheme for Broadcasting Messages to Stateless Receivers
Data Chameleon: A Self-adaptive Synthetic Data Management System
Security Object Modelling for Level-Based Policies
Formal Specification and Verification Techniques for Secure Database Systems
Data and Applications Security and Privacy XXXVI - 36th Annual IFIP WG 11.3 Conference, DBSec 2022, Newark, NJ, USA, July 18-20, 2022, Proceedings
Discussion Notes and Revised Question List
Access Control and Query Verification for Untrusted Databases
Empirical Analysis of Certificate Revocation Lists
P-EDR: Privacy-Preserving Event-Driven Data Release Using Smart Contracts
Summary of Conference Discussions
Data and Applications Security and Privacy XXXV - 35th Annual IFIP WG 11.3 Conference, DBSec 2021, Calgary, Canada, July 19-20, 2021, Proceedings
CodeGraphSMOTE - Data Augmentation for Vulnerability Discovery
Web Services Security: Techniques and Challenges (Extended Abstract)
Using Exess as a Framework for Secure DBMSs
Towards a MAC Policy Framework
"It's Shocking!": Analysing the Impact and Reactions to the A3: Android Apps Behaviour Analyser
Migrating from DAC to RBAC
Toward Software Diversity in Heterogeneous Networked Systems
Security and Privacy Issues for the World Wide Web: Panel Discussion
Performance Analysis of Transaction Management Algorithms for the SINTRA Replicated-Architecture Database System
Anti-Tamper Databases: Querying Encrypted Databases
Information Flow Containment: A Practical Basis for Malware Defense
Discovery of Multi-Level Security Policies
Privacy-Preserving Multiple Keyword Search on Outsourced Data in the Clouds
STAR-Tree: An Index Structure for Efficient Evaluation of Spatiotemporal Authorizations
A Secure Concurrency Control Protocol for Real-Time Databases
Lessons Learned from Modeling a Secure Multilevel Relational Database System
SGX-IR: Secure Information Retrieval with Trusted Processors
Flexible Security Policies in SQL
(Local) Differential Privacy has NO Disparate Impact on Fairness
An Approach to Select Cost-Effective Risk Countermeasures
Inference-Proof Monotonic Query Evaluation and View Generation Reconsidered
Shared Sensitivity Labels
AMOE: A Tool to Automatically Extract and Assess Organizational Evidence for Continuous Cloud Audit
TerraCheck: Verification of Dedicated Cloud Storage
The Integration of Security and Integrity Constraints in MOKUM
Role-Based Security in a Distributed Resource Environment
Subject Switching Algorithms for Access Control in Federated Databases
Panel Session: What Are the Key Challenges in Distributed Security?
Role-Based Security in Data Base Management Systems
Security Guidelines for Database Systems Development
Towards System Integrity Protection with Graph-Based Policy Analysis
Web Implementation of a Security Mediator for Medical Databases
An Attack Graph-Based Probabilistic Security Metric
A Distributed Mechanism to Protect Against DDoS Attacks
Enforcing Integrity While Maintaining Secrecy
Analysis of Multi-path Onion Routing-Based Anonymization Networks
An Approach to Security Policy Configuration Using Semantic Threat Graphs
ALERT: A Framework for Efficient Extraction of Attack Techniques from Cyber Threat Intelligence Reports Using Active Learning
Logic Hints and Security in Relational Databases
Conversation Structures as a Means of Specifying Security Policy
Inference Control Via Query Restriction Vs. Data Modification: A Perspective
Logging and Accountability in Database Management Systems
A Rewarding Framework for Crowdsourcing to Increase Privacy Awareness
An Administrative Model for Relationship-Based Access Control
Using X.509 Attribute Certificates for Role-Based EAM
On The Damage and Compensation of Privacy Leakage
An Index Structure for Private Data Outsourcing
Status of Trusted DBMS Implementations
Bayesian Methods to the Database Inference Problem
A Modal Logic Framework to Solve Aggregation Problems
Supporting Timing-Channel Free Computations in Multilevel Secure Object-Oriented Databases
A Multilevel Secure Federated Database
Correlated Data Inference
A Novel Cryptographic Framework for Cloud File Systems and CryFS, a Provably-Secure Construction
High-Speed High-Security Public Key Encryption with Keyword Search
A Study of Inference Problems in Distributed Databases
Is My Phone Listening in? On the Feasibility and Detectability of Mobile Eavesdropping
Runtime Detection of Zero-Day Vulnerability Exploits in Contemporary Software Systems
The Third Stream: Long-Term Prospects for Secure Database Management
The SINTRA Data Model: Structure and Operations
WorkFlow Analyzed for Security and Privacy in using Databases
Optimizing Integrity Checks for Join Queries in the Cloud
A Model for Trust-Based Access Control and Delegation in Mobile Clouds
Selected Summary of Discussions
Effects of Distributed System Technology on Database Security: A Survey
Wrangling in the Power of Code Pointers with ProxyCFI
Implementing Workflow Systems
Active Access Control as High-Level Control
Analysis of Privacy Policies to Enhance Informed Consent
Security Policies for Integrated Project Support Environments
Security by Permission in Databases
Secure Database Development Methodologies
Not a Free Lunch, But a Cheap One: On Classifiers Performance on Anonymized Datasets
Information Flow Analysis for File Systems and Databases Using Labels
Encrypt What Matters: Selective Model Encryption for More Efficient Secure Federated Learning