yusuke1997/dblp-id-title huggingface dataset:
A Bounded Retransmission Protocol for Large Data Packets
Integration of Semantical Verification Conditions in a Specification Language Definition
Floating Point Verification in HOL Light: The Exponential Function
Removing Redundant Arguments of Functions
A Framework for Machine-Assisted User Interface Verification
Comparing Two Different Approaches to Products in Abstract Relation Algebra
On Refinement of Generic State-Based Software Components
On Adding Algebraic Theories with Induction to Typed Lambda Calculi
The TOOLBUS Coordination Architecture - A Demonstration
On Oracles for Interpreting Test Results against Algebraic Specifications
Algebraic Approaches to Problem Generalisation
Petri Nets, Traces, and Local Model Checking
Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving
Dynamic Matrices and the Cost Analysis of Concurrent Programs
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
Algebraic Specification at Work
Expressing Iterative Properties Logically in a Symbolic Setting
A Complete Declarative Debugger for Maude
Simulation Using Orchestration
Term Rewriting in a Logic of Special Relations
Glass Box and Black Box Views of State-Based System Specifications.
InterACT : An Interactive Theorem Prover for Algebraic Specifications
Extending Timed Process Algebra with Discrete Stochastic Time
Full Abstraction in Structural Operational Semantics (Extended Abstract)
A Declarative Debugger for Maude
Approximate Bisimilarity
Completeness of Equational Definitions over Predefined Algebras
Programming in Lygon: An Overview
Peirce Algebras
Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations
Improving Computations in a Typed Functional Logic Language
Specification of the Unix File System: A Comparative Case Study
Abstraction Barriers in Equational Proof
Transforming Processes to Check and Ensure Information Flow Security
Towards Validating a Platoon of Cristal Vehicles Using CSP||B
Proof Support for RAISE by a Reuse Approach Based on Institutions
Extending Process Languages with Time
Constant Complements, Reversibility and Universal View Updates
Sharing Objects by Read-Only References
PAMELA + PVS
A Generic Software Safety Document Generator
On Partial Validation of Logic Programs
Introducing Formal Methods to Software Engineers Through OMG's COBRA Environment and Interface Definition Language
A Declarative System for Multi-database Interoperability
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams
Equational Axioms for Probabilistic Bisimilarity
Generating Specialized Rules and Programs for Demand-Driven Analysis
Verification of Logic Programs with Delay Declarations
Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics
Pattern Matching: A Sheaf-Theoretic Approach
On the Completeness of the Euations for the Kleene Star in Bisimulation
Interpolation in Modal Logic
Formalising Graphical Behaviour Descriptions
Some Characteristics of Strong Innermost Normalization
On the Reusability of Specifications and Implementations
Behavioural Subtyping Relations for Object-Oriented Formalisms
Formal JVM Code Analysis in JavaFAN
On Bisimulations for the Spi Calculus
Selecting Reusable Components Using Algebraic Specifications
ALPHA - A Class Library for a Metamodel Based on Algebraic Graph Theory
Algebraic View Specification
Process Calculi for Coordination: From Linda to JavaSpaces
Flexible Proof Reuse for Software Verification
Applying Algebraic Logic to Logic
A Case Study Towards Algebraic Verification of Code
The Substitution Vanishes
Tracing the Origins of Verification Conditions
Tool-Assisted Specification and Verification of the JavaCard Platform
Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract)
Type Fusion
Pragmatics of Modular SOS
Using Algebraic Specification in Floyd-Hoare Assertions
Using Category Theory as a Basis for a Heterogeneous Data Source Search Meta-engine: The Prométhée Framework
MIX(FL): A Kernel Language of Mixin Modules
Semantics of Plan Revision in Intelligent Agents
TkGofer: A Functional GUI Library
Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues
Specification of Hybrid Systems in CRP
A Formal Framework for Modules with State
On Bisimulation, Fault-Monotonicity and Provable Fault-Tolerance
A Class of Decidable Parametric Hybrid Systems
Teaching Mathematics to Software Engineers
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic
On Solving Temporal Logic Queries
Modification Algebras
ASD: The Action Semantic Description Tools
An Assume Guarantee Approach for Checking Quantified Array Assertions
Abstract Domains for Property Checking Driven Analysis of Temporal Properties
Rigorous Specification of Real-Time Systems
Towards an Algebraic Theory of Inheritance in Project Oriented Programming
Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
Extended Institutions for Testing
Techniques for Executing and Reasoning about Specification Diagrams
Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic
Formal Islands
Conditional Directed Narrowing
Polynomial Relators (Extended Abstract)
Formalizing and Proving Semantic Relations between Specifications by Reflection
An Algebraic Language Processing Environment
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software
Model Refinement Using Bisimulation Quotients
Modeling Concurrency with AND/OR Algebraic Theories
Semantics Frameworks for a Class of Modular Algebraic Nets
Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings
Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings
A Global Semantics for Views
Specifying and Verifying a Decimal Representation in Java for Smart Cards
Context-Free Event Domains are Recognizable
Effective Recognizability and Model Checking of Reactive Fiffo Automata
CtCoq: A System Presentation
Representing, Verifying and Applying Software Development Steps using the PVS System
Algebraic-Oriented Institutions
Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods
On the Decidability of Process Equivalences for the pi-calculus
Separation Logic Contracts for a Java-Like Language with Fork/Join
Modular Rewriting Semantics of Programming Languages
RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker
The Extensibility of Maude's Module Algebra
Linear Temporal Logic and Z Refinement
Meta Languages in Algebraic Compilers
Random Access to Abstract Data Types
A Formal Approach to Software Testing
Refusal Simulation and Interactive Games
Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum
Algebraic Semantics of Coordination or What Is in a Signature
Detecting Isomorphisms of Modular Specifications with Diagrams
Calculating Invariants as Coreflexive Bisimulations
Modal Action Logic in a Practical Specification Language
Type Consistency Checking for Concurrent Independent Processes
The Update Calculus (Extended Abstract)
Coalgebraic Specifications and Models of Determinatistic Hybrid Systems
Some Programming Languages for Logspace and Ptime
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming
Preservation and Reflection in Specification
A Science of Software Design
Modelling Specification Construction by Successive Approximations
Process Algebra versus Axiomatic Specification of a Real-Time Protocol
Industrial Applications of ASF+SDF
An Algebraic Construction of the Well-Founded Model
Distance Functions for Defaults in Reactive Systems
On the Expressiveness of the pi -Calculus and the Mobile Ambients
A New Logic for Electronic Commerce Protocols
Algebraic Specification of Reactive Systems
Abstract Interpretation Plugins for Type Systems
Toward a Classification Approach to Design
ACT TWO: An Algebraic Module Specification and Interconnection Language
An Algebra for Features and Feature Composition
On Using a Composition Principle to Design Parallel Programs
Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge
Category Theory for the Configuration of Complex Systems
Step by Step to Histories
Evolving Specification Engineering
Dimension-Complemented Lambda Abstraction Algebras
An Overview of the SODA System
Class-Based versus Object-Based: A Denotational Comparison
A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes
On the Correctness of Modular Systems
Incremental Formalization
The Essence of Multitasking
Integrating Maude into Hets
The ABACO System - An Algebraic Based Action COmpiler
Time and Probability in Process Algebra
Tableaux for Lattices
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL
DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
ATM Switch Design: Parametric High-Level Modeling and Formal Verification
Constraints in Term Algebras (Short Survey)
A Formally Verified Calculus for Full Java Card
Proving Termination Properties with mu-term
Observational Logic
Refinement-Type Checker for Standard ML
Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra
Verification of Bounded Delay Asynchronous Circuits with Timed Traces
Using Ghost Variables to Prove Refinement
Non Expansive epsilon-Bisimulations
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus
Guarded Transitions in Evolving Specifications
Domain Axioms for a Family of Near-Semirings
Invited Talk: Pointwise Relational Programming
Object-Oriented Implementation of Abstract Data Type Specifications
Counting Votes with Formal Methods
Free Variable Tableaux for a Many Sorted Logic with Preorders
Boolean Formalism and Explanations
State Space Representation for Verification of Open Systems
Modal Kleene Algebra and Partial Correctness
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML
The Combination of Specifications and the Induced Relations in Object Oriented Programs
The State of PEP
Permissive Subsorted Partial Logic in CASL
Automated Reasoning About Parallel Algorithms Using Powerlists
Structural Analysis for Stochastic Process Algebra Models
Incremental Software Construction with Refinement Diagrams
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
Iteration 2-Theories: Extended Abstract
Abstract Algebraic Logic
Condensing Lemmas for Pure Type Systems with Universes
Separate Compositional Analysis of Class-Based Object-Oriented Languages
Petri Nets Are Dioids
A Modal Logic for KLAIM
Confluence in Concurrent Constraint Programming
Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991
Extending Separation Logic with Fixpoints and Postponed Substitution
Implementing a Categorical Information System
Vacuity Checking in the Modal Mu-Calculus
Recursive Program Schemes: Past, Present, and Future
An Introduction to Category-based Equational Logic
The FC2TOOLS Set
Building Models of Linear Logic
Ripple: Accelerating Programmable Bootstraps for FHE with Wavelet Approximations
RatBot: Anti-enumeration Peer-to-Peer Botnets
Solving McEliece-1409 in One Day - Cryptanalysis with the Improved BJMM Algorithm
Spatial-Domain Image Watermarking Robust against Compression, Filtering, Cropping, and Scaling
An Optimised Linear Attack on Pseudorandom Generators Using a Non linear Combiner
Token-Controlled Public Key Encryption in the Standard Model
Meet-in-the-Middle Attacks Using Output Truncation in 3-Pass HAVAL
An XML-Based Approach to Document Flow Verification
On the Difficulty of Key Recovery Systems
Resistance Analysis to Intruders' Evasion of Detecting Intrusion
The Role of Arbiters in Asymmetric Authentication Schemes
Information Security - 13th International Conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010, Revised Selected Papers
A Partial Key Exposure Attack on RSA Using a 2-Dimensional Lattice
Anomaly Intrusion Detection Based on Clustering a Data Stream
gore : Routing-Assisted Defense Against DDoS Attacks
Emulating Android Device Drivers via Borrowed Execution Context
Function-Dependent Commitments for Verifiable Multi-party Computation
Uni-ARBAC: A Unified Administrative Model for Role-Based Access Control
Offline Assisted Group Key Exchange
Modified ElGamal Cryptosystem
Investigating the Hooking Behavior: A Page-Level Memory Monitoring Method for Live Forensics
Multi-key Homomorphic Proxy Re-Encryption
Information Security, 7th International Conference, ISC 2004, Palo Alto, CA, USA, September 27-29, 2004, Proceedings
Merging the Camellia, SMS4 and AES S-Boxes in a Single S-Box with Composite Bases
Formalizing Bitcoin Crashes with Universally Composable Security
Unconditionally Secure Homomorphic Pre-distributed Bit Commitment and Secure Two-Party Computations
Algebraic Attack on HFE Revisited
Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles
Symmetry Defense Against CNN Adversarial Perturbation Attacks
Improvement of Multi-bit Information Embedding Algorithm for Palette-Based Images
Proofs of Knowledge for Non-monotone Discrete-Log Formulae and Applications
Characteristics of Some Binary Codes for Fingerprinting
SimSeq: A Robust TLS Traffic Classification Method
Adaptive Secure-Channel Free Public-Key Encryption with Keyword Search Implies Timed Release Encryption
The Reduced Address Space (RAS) for Application Memory Authentication
Quadratic Relations for S-Boxes: Their Minimum Representations and Bounds
Fair E-Cash: Be Compact, Spend Faster
ID-based Multi-party Authenticated Key Agreement Protocols from Multilinear Forms
Adding Trust to P2P Distribution of Paid Content
Multi-stage Binary Code Obfuscation Using Improved Virtual Machine
Revisiting Software Protection
Unlinkable Divisible Electronic Cash
How to Break and Repair a Universally Composable Signature Functionality
Design and Analysis of a Sophisticated Malware Attack Against Smart Grid
IPSec Support in NAT-PT Scenario for IPv6 Transition
Integrity Improvements to an RFID Privacy Protection Protocol for Anti-counterfeiting
An Analysis of Malware Trends in Enterprise Networks
On Free-Start Collisions and Collisions for TIB3
Adding Linkability to Ring Signatures with One-Time Signatures
A Logic Model for Temporal Authorization Delegation with Negation
A Distributed and Computationally Secure Key Distribution Scheme
HAPADEP: Human-Assisted Pure Audio Device Pairing
The Obfuscation Executive
Approximate Power Roots in Z m
Efficient Forward Secrecy for TLS-PSK from Pure Symmetric Cryptography
Improving Password Guessing Using Byte Pair Encoding
Efficient Secure and Verifiable Outsourcing of Matrix Multiplications
On Optimal Bounds of Small Inverse Problems and Approximate GCD Problems with Higher Degree
Yet Another Note on Block Withholding Attack on Bitcoin Mining Pools
Privacy-Preserving Computation of the Earth Mover's Distance
Weighted One-Way Hash Chain and Its Applications
SPEED Protocol: Smartcard-Based Payment with Encrypted Electronic Delivery
On the Security of Fair Non-repudiation Protocols
A New Identity-Based Key Exchange Protocol Minimizing Computation and Communication
Security Analysis of a Password Authenticated Key Exchange Protocol
Threshold Fail-Stop Signature Schemes Based on Discrete Logarithm and Factorization
The n-Diffie-Hellman Problem and Its Applications
Platform-Independent Secure Blockchain-Based Voting System
On Formally Bounding Information Leakage by Statistical Estimation
Improved Impossible Differential Attacks on Large-Block Rijndael
Solutions for the Storage Problem of McEliece Public and Private Keys on Memory-Constrained Platforms
Group Signatures for Hierarchical Multigroups
Iris Recognition in Nonideal Situations
On New Zero-Knowledge Proofs for Lattice-Based Group Signatures with Verifier-Local Revocation
Compatible Ideal Contrast Visual Cryptography Schemes with Reversing
Multi-way High-Throughput Implementation of Kyber
Experimental Testing of the Gigabit IPSec-Compliant Implementations of Rijndael and Triple DES Using SLAAC-1V FPGA Accelerator Board
Damaging, Simplifying, and Salvaging p-OMD
A Graph-Based Approach to Alert Contextualisation in Security Operations Centres
Soundsquatting: Uncovering the Use of Homophones in Domain Squatting
"To Share or not to Share" in Client-Side Encrypted Clouds
Hybrid Group Key Exchange with Application to Constrained Networks
Keyless Physical-Layer Cryptography
Multiple Modular Additions and Crossword Puzzle Attack on NLSv2
On the Security of Identity Based Ring Signcryption Schemes
Channel Robust Strategies with Data Augmentation for Audio Anti-spoofing
Practice-Oriented Provable-Security
A Lot of Data and Added Complexity. How Does PQC Affect the Performance of My TLS Connection?
Non-interactive CDH-Based Multisignature Scheme in the Plain Public Key Model with Tighter Security
Efficient Mental Card Shuffling via Optimised Arbitrary-Sized Benes Permutation Network
Performance Evaluation of Certificate Revocation Using k -Valued Hash Tree
Misleading Malware Similarities Analysis by Automatic Data Structure Obfuscation
A Novel Behavioural Screenlogger Detection System
On Rough Sets and Inference Analysis
On the Collision Resistance of RIPEMD-160
Information Security - 25th International Conference, ISC 2022, Bali, Indonesia, December 18-22, 2022, Proceedings
Engineering an eCash System
On the Security of Tweakable Modes of Operation: TBC and TAE
Information Security - 24th International Conference, ISC 2021, Virtual Event, November 10-12, 2021, Proceedings
Dissecting Applications Uninstallers and Removers: Are They Effective?
Radix-r Non-Adjacent Form
A New Digital Cash Scheme Based on Blind Nyberg-Rueppel Digital Signature
Impossible Differential Cryptanalysis of the FBC Block Cipher
BotTracer: Execution-Based Bot-Like Malware Detection
Parallelizable Elliptic Curve Point Multiplication Method with Resistance against Side-Channel Attacks
Privacy-Aware Attribute-Based Encryption with User Accountability
ARBRA: Anonymous Reputation-Based Revocation with Efficient Authentication
A Privacy-Preserving Join on Outsourced Database
TIDL-IDS: A Time-Series Imaging and Deep Learning-Based IDS for Connected Autonomous Vehicles
Attacking Traitor Tracing Schemes Using History Recording and Abrupt Decoders
A Simple Algorithm for Estimating Distribution Parameters from n n -Dimensional Randomized Binary Responses
Secure Hierarchical Identity-Based Identification without Random Oracles
Practical Algebraic Attacks on the Hitag2 Stream Cipher
A Faster Variant of CGL Hash Function via Efficient Backtracking Checks
Simulation-Based Software Leakage Evaluation for the RISC-V Platform
An Efficient Certified Email Protocol
Implementation of Virtual Private Networks at the Transport Layer
Suitability of a Classical Analysis Method for E-commerce Protocols
Bounds and Constructions for Unconditionally Secure Distributed Key Distribution Schemes for General Access Structures
Round-Efficient Oblivious Database Manipulation
When the Attacker Knows a Lot: The GAGA Graph Anonymizer
Detection of Sniffers in an Ethernet Network
PAEQ: Parallelizable Permutation-Based Authenticated Encryption
Enhancing Security and Privacy in Certified Mail Systems Using Trust Domain Separation
On Reconciliation of Discrepant Sequences Shared through Quantum Mechanical Channels
An Anonymous Loan System Based on Group Signature Scheme
Integrating Offline Analysis and Online Protection to Defeat Buffer Overflow Attacks
Universally Composable Time-Stamping Schemes with Audit
Risks of the CardSpace Protocol
Exploring Fair Exchange Protocols Using Specification Animation
IBWH: An Intermittent Block Withholding Attack with Optimal Mining Reward Rate
Receipt-Free Sealed-Bid Auction
Control Flow Integrity Enforcement with Dynamic Code Optimization
Optimizing Label-Only Membership Inference Attacks by Global Relative Decision Boundary Distances
Some Recent Research Aspects of Threshold Cryptography
Secure Interoperation in Multidomain Environments Employing UCON Policies
Combining Consistency and Confidentiality Requirements in First-Order Databases
Systematic Treatment of Collusion Secure Codes: Security Definitions and Their Relations
Reducing User Tracking through Automatic Web Site State Isolations
Efficient Modeling of Discrete Events for Anomaly Detection Using Hidden Markov Models
Automated Spyware Collection and Analysis
Antisocial Networks: Turning a Social Network into a Botnet
Randomized Component Based Secure Secret Reconstruction in Insecure Networks
Summary-Invisible Networking: Techniques and Defenses
Evolving Conditional Disclosure of Secrets
Information Security - 27th International Conference, ISC 2024, Arlington, VA, USA, October 23-25, 2024, Proceedings, Part II
A Revocable Group Signature Scheme with Scalability from Simple Assumptions and Its Implementation
Hybroid: Toward Android Malware Detection and Categorization with Program Code and Network Traffic
Low-Level Ideal Signatures and General Integrity Idealization
Replacement Attacks on Behavior Based Software Birthmark
ChronoCloak: An Integrated Solution for Mitigating Premature Disclosure in Oblivious Digital Dissemination
A Lightweight Defense Scheme Against Usermode Helper Privilege Escalation Using Linux Capability
GPU-Disasm: A GPU-Based X86 Disassembler
Fingerprinting Text in Logical Markup Languages
Hybrid Signcryption Schemes with Outsider Security
Run-Time Support for Detection of Memory Access Violations to Prevent Buffer Overflow Exploits
Automated Analysis of Accountability
Self-blindable Credential: Towards Anonymous Entity Authentication Upon Resource Constrained Devices
Improved Meet-in-the-Middle Attacks on Round-Reduced ARIA
Trivium: A Stream Cipher Construction Inspired by Block Cipher Design Principles
On the Concept of Software Obfuscation in Computer Security
T-MAC: Protecting Mandatory Access Control System Integrity from Malicious Execution Environment on ARM-Based Mobile Devices
Towards Architecture-Independent Function Call Analysis for IoT Malware
Electronic Voting: Starting Over?
Structural Attacks on Two SHA-3 Candidates: Blender-n and DCH-n
F3ildCrypt: End-to-End Protection of Sensitive Information in Web Services
Hyppocrates
An Improvement on a Practical Secret Voting Scheme
Reasoning about Privacy Properties of Biometric Systems Architectures in the Presence of Information Leakage
Exclusion-Freeness in Multi-party Exchange Protocols
ATLAS: A Practical Attack Detection and Live Malware Analysis System for IoT Threat Intelligence
A New Digital Signature Scheme on ID-Based Key-Sharing Infrastructures
Relaxed Lattice-Based Signatures with Short Zero-Knowledge Proofs
The Role of Message-Bound Signatures for the Beyond UnForgeability Features and Weak Keys
Detection of Database Intrusion Using a Two-Stage Fuzzy System
Human Assisted Randomness Generation Using Video Games
Enabling Fairer Digital Rights Management with Trusted Computing
Extending .NET Security to Unmanaged Code
Cryptanalysis of Message Authentication Codes
A New Byte-Oriented Block Cipher
SyzLego: Enhancing Kernel Directed Greybox Fuzzing via Dependency Inference and Scheduling
Reactively Secure Signature Schemes
Deciding Recognizability under Dolev-Yao Intruder Model
Fingerprints for Copyright Software Protection
A Watermarking Scheme Based on the Characteristic of Addition among DCT Coefficients
Revisiting Wiener's Attack - New Weak Keys in RSA
On the Hardware Implementation of the 3GPP Confidentiality and Integrity Algorithms
Bit Error Probability Evaluation of RO PUFs