yusuke1997/dblp-id-title huggingface dataset:
Positive Solutions for Boundary Value Problem of Nonlinear Fractional Differential Equation with p-Laplacian Operator
Simulation and Numerical Investigation of Temperature Fields in an Open Geothermal System
Numerical Investigation of Adaptive Immune Response to Viral Infection
A High Order Accurate Overlapping Domain Decomposition Method for Singularly Perturbed Reaction-Diffusion Systems
A New Approach to Constructing Splitting Schemes in Mixed FEM for Heat Transfer: A Priori Estimates
The Conjugate Gradient Method for the Dirichlet Problem and Its Modifications
Computational Algorithm for Modeling Viscoelastic Waves in the Kelvin-Voigt Medium
A Fractional Diffusion Model with Resetting
Well-Posedness in Hölder Spaces of Elliptic Differential and Difference Equations
P-Thinned Gamma Process and Corresponding Random Walk
A Family of Optimal Eighth Order Multiple Root Finders with Multivariate Weight Function
Iterative Implicit Methods for Solving Nonlinear Dynamical Systems: Application of the Levitron
Efficiency and Stability of a Family of Iterative Schemes for Solving Nonlinear Equations
Finite Difference Method for Two-Sided Space-Fractional Partial Differential Equations
Local Convergence Results for an Optimal Iterative Method for Multiple Roots
Matrix-Free Iterative Processes for Implementation of Implicit Runge-Kutta Methods
Numerical Simulation of Deformations of Basalt Roving
Parallel Numerical Method to Estimate the Effective Elastic Moduli of Rock Core Samples from 3D Tomographic Images
Conservative Semi-Lagrangian Numerical Algorithm with Decomposition of Integration Domain into Tetrahedrons for Three-Dimensional Advection Problem
Spline Iterative Method for Pantograph Type Functional Differential Equations
A Continuous Model for the Ecological Collapse of Easter Island
Determination of the Time-Dependent Thermal Conductivity in the Heat Equation with Spacewise Dependent Heat Capacity
Consistent Discrete-Analytical Schemes for the Solution of the Inverse Source Problems for Atmospheric Chemistry Models with Image-Type Measurement Data
Converging Shock Wave for Ignition of a Pre-compressed Target of Laser Thermonuclear Fusion
Iterative Algorithms for Coupled Physics Electrical Conductivity Imaging
Stability Properties of Repeated Richardson Extrapolation Applied Together with Some Implicit Runge-Kutta Methods
On Inverse Problem of Determination of the Coefficient in the Black-Scholes Type Equation
Generalized Multiscale Finite Element Method for Poroelasticity Problems in Heterogeneous Media
The Analysis of Lagrange Interpolation for Functions with a Boundary Layer Component
Finite Difference Equations for Neutron Flux and Importance Distribution in 3D Heterogeneous Reactor
Analytic Theory of Singular Perturbations and Lomov's Regularization Method
Rational Spectral Collocation Method for Pricing American Vanilla and Butterfly Spread Options
Operator Semigroups for Convergence Analysis
Finite Difference Methods. Theory and Applications - 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers
A Transparent Boundary Condition for an Elastic Bottom in Underwater Acoustics
Some Results of FEM Schemes Analysis by Finite Difference Method
Iterative Process for Numerical Recovering the Lowest Order Space-Wise Coefficient in Parabolic Equations
Upscaled Model for Mixed Dimensional Coupled Flow Problem in Fractured Porous Media Using Non-local Multicontinuum (NLMC) Method
From a Geometrical Interpretation of Bramble-Hilbert Lemma to a Probability Distribution for Finite Element Accuracy
On Convergence of Difference Approximations of Extremum Problems Described by Elliptic Equations with Unbounded Nonlinearity
Finite Difference Methods, Theory and Applications - 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers
Monte Carlo Solution of Dirichlet Problem for Semi-linear Equation
Spijker's Example and Its Extension
Numerical Modeling of the Charge Transfer Along 1D Molecular Chain "Donor-Bridge-Acceptor" at T = 300 K
Integral-Consistent Numerical Technique for Self-gravitating Medium Model
Error Estimates of the Crank-Nicolson-Polylinear FEM with the Discrete TBC for the Generalized Schrödinger Equation in an Unbounded Parallelepiped
Two-Grid Newton Algorithms for a System of Heat Conducting Gas Equations
A High Order Method on Graded Meshes for a Time-Fractional Diffusion Problem
Difference Schemes for Delay Parabolic Equations with Periodic Boundary Conditions
Superconvergence of Some Linear and Quadratic Functionals for Higher-Order Finite Elements
Computation of Mean-Field Equilibria with Correlated Stochastic Processes
On Ignorance Regions and Spatial Aspects for South American sea lion (Otaria byronia) Operational Interaction with the Artisan Gillnet Fishery in Chile
Construction of Higher-Order Approximation Difference Scheme for Nonlinear Convection-Diffusion Equation Using Adaptive Artificial Viscosity in Case of Two-Phase Filtering Problems
Spline Collocation for Fractional Integro-Differential Equations
Modeling of Fluidodynamic Processes in a Porous Medium with Gashydrate Deposits
The Method of Fundamental Solutions Combined with a Multi-level Technique
Analogue of Cubic Spline for Functions with Large Gradients in a Boundary Layer
Generalized Multiscale Finite Element Method for Elasticity Problem in Fractured Media
Iterative Semi-implicit Splitting Methods for Stochastic Chemical Kinetics
Relativistic Burgers Models on Curved Background Geometries
On One Method for Solving of a Non-stationary Fluid Flows with Free Surface
Asymptotic and Numerical Analysis of Dynamics in a Generalized Free-Interfacial Combustion Model
Finite Difference Computation of a Stochastic Aquaculture Problem Under Incomplete Information
Simulation of Influence of Special Regimes of Horizontal Flare Systems on Permafrost
Generalized Multiscale Finite Element Method for Unsaturated Filtration Problem in Heterogeneous Medium
Modeling Textile Fabric Used in Pest Control with a 3 Scale Domain Decomposition Method
Inverse Problems of Simultaneous Determination of the Time-Dependent Right-Hand Side Term and the Coefficient in a Parabolic Equation
Modeling of Annual Heat and Moisture Diffusion in a Multilayer Wall
Asymptotically Lyapunov-Stable Solutions with Boundary and Internal Layers in the Stationary Reaction-Diffusion-Advection Problems with a Small Transfer
The Third Order Iterative Method for Solving Nonlinear Parabolic Equations and Its Application to the Biological Tissues Models
On Gas Dynamic Hierarchy
Explicit and Conditionally Stable Combined Numerical Method for 1D and 2D Nonlinear Schrödinger Equation
Completely Conservative Difference Schemes for Simultaneous Calculations of Thawed Hydrated Zone and Piezoconductive Medium with Gas Hydrate Inclusions
Computational Algorithm for Identification of the Right-Hand Side of the Parabolic Equation
Numerical Simulation of Thermoelasticity Problems on High Performance Computing Systems
Computer Modeling of Control the Thermal Imaging System Surveillance
Generalized Multiscale Discontinuous Galerkin Method for Helmholtz Problem in Fractured Media
Numerical Method for Calculating the Pipe Spatial Vibrations
Improved Computer Scheme for a Singularly Perturbed Parabolic Convection-Diffusion Equation
Simulation of Technogenic and Climatic Influences in Permafrost for Northern Oil Fields Exploitation
The Error Analysis of Finite Difference Approximation for a System of Singularly Perturbed Semilinear Reaction-Diffusion Equations with Discontinuous Source Term
On Extension of Asymptotic Comparison Principle for Time Periodic Reaction-Diffusion-Advection Systems with Boundary and Internal Layers
The Application of a Special Hermite Finite Element Coupled with Collocation to the Diffusion Equation
Numerical Solving a Boundary Value Problem for the Eikonal Equation
Difference Schemes for the Nonlinear Equations in Partial Derivatives with Heredity
On a Reliable Numerical Method for a Singularly Perturbed Parabolic Reaction-Diffusion Problem in a Doubly Connected Domain
Numerical Experiments for Some Markov Models for Solving Boundary Value Problems
Application of Finite Difference TVD Methods in Hypersonic Aerodynamics
Riemann Problem for First-Order Partial Equations Without the Convexity of a State Functions
Finite-Difference Simulation of Wave Propagation Through Prestressed Elastic Media
Companion Apps or Backdoors? On the Security of Automotive Companion Apps
MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation
SigIL: A Signature-Based Approach of Malware Detection on Intermediate Language
Ensuring File Authenticity in Private DFA Evaluation on Encrypted Files in the Cloud
Bunkers: Jail Application Level Firewall for the Mitigation and Identification of Service Takeover Attacks on HardenedBSD
On Manufacturing Resilient Opaque Constructs Against Static Analysis
PGLP: Customizable and Rigorous Location Privacy Through Policy Graph
Enabling Privacy-Assured Similarity Retrieval over Millions of Encrypted Records
Quantifying Location Privacy Leakage from Transaction Prices
Split Payments in Payment Networks
Privacy-Preserving Link Prediction in Decentralized Online Social Networks
Probabilistic Micropayments with Transferability
On the Complexity of Aggregating Information for Authentication and Profiling
Distributed Temporary Pseudonyms: A New Approach for Protecting Location Information in Mobile Communication Networks
A New Model for Testing IPv6 Fragment Handling
A Framework to Secure Peripherals at Runtime
DEKS: A Secure Cloud-Based Searchable Service Can Make Attackers Pay
The Leaking Battery - A Privacy Analysis of the HTML5 Battery Status API
Security Monitoring for Industrial Control Systems
Computer Security - ESORICS 2021 - 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4-8, 2021, Proceedings, Part II
LiMon - Lightweight Authentication for Tire Pressure Monitoring Sensors
Every Query Counts: Analyzing the Privacy Loss of Exploratory Data Analyses
Computer Security - ESORICS 2010, 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings
A Tool for Pro-active Defense Against the Buffer Overrun Attack
Privacy-Preserving DNS: Analysis of Broadcast, Range Queries and Mix-Based Protection Methods
D(e|i)aling with VoIP: Robust Prevention of DIAL Attacks
CloudVaults: Integrating Trust Extensions into System Integrity Verification for Cloud-Based Environments
Analysis of Automation Potentials in Privacy Impact Assessment Processes
Layered Symbolic Security Analysis in $\textsf {DY}^\star $
CapMan: Detecting and Mitigating Linux Capability Abuses at Runtime to Secure Privileged Containers
PrivColl: Practical Privacy-Preserving Collaborative Machine Learning
Audio Spoofing Detection Using Constant-Q Spectral Sketches and Parallel-Attention SE-ResNet
RiffleScrambler - A Memory-Hard Password Storing Function
Attack Path Analysis and Cost-Efficient Selection of Cybersecurity Controls for Complex Cyberphysical Systems
Modular Access Control Via Strategic Rewriting
Verifying Web Browser Extensions' Compliance with Private-Browsing Mode
NORX: Parallel and Scalable AEAD
A Case Study in the Formal Refinement of a Distributed Secure System
Kamouflage: Loss-Resistant Password Management
Model-Checking DoS Amplification for VoIP Session Initiation
Hide and Seek: On the Stealthiness of Attacks Against Deep Learning Systems
Realistic Data Generation for Anomaly Detection in Industrial Settings Using Simulations
Covercrypt: An Efficient Early-Abort KEM for Hidden Access Policies with Traceability from the DDH and LWE
Socially Constructed Trust for Distributed Authorization
Encryption Techniques for Secure Database Outsourcing
Computer Security - ESORICS 2004, 9th European Symposium on Research Computer Security, Sophia Antipolis, France, September 13-15, 2004, Proceedings
Confidential and Verifiable Machine Learning Delegations on the Cloud
Probabilistic Metric Spaces for Privacy by Design Machine Learning Algorithms: Modeling Database Changes
Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II
Understanding Bifurcation of Slow Versus Fast Cyber-Attackers
Generic Traceable Proxy Re-encryption and Accountable Extension in Consensus Network
Cyber Network Resilience Against Self-Propagating Malware Attacks
On Security of Anonymous Invitation-Based System
Council of Europe Guidelines on the Use of ICT in Electoral Processes
Towards a Framework for Testing the Security of IoT Devices Consistently
Towards Context-Aware Log Anomaly Detection Using Fine-Tuned Large Language Models
Stealthy Probing-Based Verification (SPV): An Active Approach to Defending Software Defined Networks Against Topology Poisoning Attacks
Limits of the Cryptographic Realization of Dolev-Yao-Style XOR
Traceable CP-ABE with Short Ciphertexts: How to Catch People Selling Decryption Devices on eBay Efficiently
Static Semantics Reconstruction for Enhancing JavaScript-WebAssembly Multilingual Malware Detection
The Leakage-Resilience Dilemma
Hide Your Hackable Smart Home from Remote Attacks: The Multipath Onion IoT Gateways
Breaking Message Integrity of an End-to-End Encryption Scheme of LINE
Comparing Password Ranking Algorithms on Real-World Password Datasets
On Strengthening Authentication Protocols to Foil Cryptanalysis
GDPR - Challenges for Reconciling Legal Rules with Technical Reality
The Once and Future Onion
Android Permission Recommendation Using Transitive Bayesian Inference Model
TAESim: A Testbed for IoT Security Analysis of Trigger-Action Environment
Metric for Security Activities Assisted by Argumentative Logic
A Typed Access Control Model for CORBA
HoneyEVSE: An Honeypot to Emulate Electric Vehicle Supply Equipments
Large Scale Analysis of DoH Deployment on the Internet
QUIC-Fuzz: An Effective Greybox Fuzzer For The QUIC Protocol
CloudBI: Practical Privacy-Preserving Outsourcing of Biometric Identification in the Cloud
Side Channel Cryptanalysis of Product Ciphers
Authentic Time-Stamps for Archival Storage
Automated Multi-architectural Discovery of CFI-Resistant Code Gadgets
Revoke: Mitigating Ransomware Attacks Against Ethereum Validators
Toward an Efficient Website Fingerprinting Defense
Computer Security - ESORICS 2024 - 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part III
Reference Monitors for Security and Interoperability in OAuth 2.0
A Bytecode Interpreter for Secure Program Execution in Untrusted Main Memory
Umbra: Embedded Web Security Through Application-Layer Firewalls
Modeling and Enhancing Android's Permission System
A Vector Model of Trust for Developing Trustworthy Systems
Distributed UCON in CoAP and MQTT Protocols
LESS Is More: Host-Agent Based Simulator for Large-Scale Evaluation of Security Systems
Stay in Your Cage! A Sound Sandbox for Third-Party Libraries on Android
LeakWatch: Estimating Information Leakage from Java Programs
Renewable Traitor Tracing: A Trace-Revoke-Trace System For Anonymous Attack
Athena: Accelerating KeySwitch and Bootstrapping for Fully Homomorphic Encryption on CUDA GPU
Membership Privacy Evaluation in Deep Spiking Neural Networks
Security-Based Adaptation of Multi-cloud Applications
From ISO/IEC 27002: 2013 Information Security Controls to Personal Data Protection Controls: Guidelines for GDPR Compliance
Transaction Fee Mechanism for Order-Sensitive Blockchain-Based Applications
Self-Generating Policies for Machine Learning in Coalition Environments
LeiA: A Lightweight Authentication Protocol for CAN
Practical Implementation of Pairing-Based zkSNARK in Bitcoin Script
ArchiveSafe: Mass-Leakage-Resistant Storage from Proof-of-Work
Privacy Risk Assessment: From Art to Science, by Metrics
HART: Hardware-Assisted Kernel Module Tracing on Arm
Privacy, Security, Legal and Technology Acceptance Requirements for a GDPR Compliance Platform
Towards Standardising Firewall Reporting
Monitoring the GDPR
An Authorization Framework Resilient to Policy Evaluation Failures
A Framework for Evaluating Client Privacy Leakages in Federated Learning
Speedy Privacy-Preserving Skyline Queries on Outsourced Data
Bridging the Gap Between Inter-communication Boundary and Internal Trusted Components
What's the Gist? Privacy-Preserving Aggregation of User Profiles
Formally-Verified Security Against Forgery of Remote Attestation Using SSProve
Efficient Unique Ring Signatures from Lattices
On Scalability and Modularisation in the Modelling of Network Security Systems
Abstraction-Based Malware Analysis Using Rewriting and Model Checking
New Considerations about the Correct Design of Turbo Fingerprinting Codes
Patrol: Revealing Zero-Day Attack Paths through Network-Wide System Object Dependencies
CAN-FD-Sec: Improving Security of CAN-FD Protocol
Offchain Runtime Verification (for The Tezos Blockchain)
Relations among Notions of Privacy for RFID Authentication Protocols
CONTRA: Defending Against Poisoning Attacks in Federated Learning
A Formal Model of Access Control for Mobile Interactive Devices
A Sound Logic for Analysing Electronic Commerce Protocols
Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III
Extended Abstract - Transformers: Intrusion Detection Data in Disguise
T-Time: A Fine-Grained Timing-Based Controlled-Channel Attack Against Intel TDX
Evaluation of an OPC UA-Based Access Control Enforcement Architecture
Compliance-Driven CWE Assessment by Semantic Similarity
Identity-Based Traitor Tracing with Short Private Key and Short Ciphertext
Enhancing Security and Dependability of Industrial Networks with Opinion Dynamics
Traffic Analysis by Adversaries with Partial Visibility
Communication and Cybersecurity Testbed for Autonomous Passenger Ship
Have You Poisoned My Data? Defending Neural Networks Against Data Poisoning
Server-Aided Revocable Identity-Based Encryption
Automation of Vulnerability Information Extraction Using Transformer-Based Language Models
"Ask and Thou Shall Receive": Reaction-Based Full Key Recovery Attacks on FHE
Multipath TLS 1.3
Versatile and Sustainable Timed-Release Encryption and Sequential Time-Lock Puzzles (Extended Abstract)
Privacy-Preserving Split Learning via Pareto Optimal Search
DDoS Defense Mechanisms: A New Taxonomy
Dynamic Security Rules for Geo Data
Completeness of the Authentication Tests
Integrated Design Framework for Facilitating Systems-Theoretic Process Analysis
Twizzle - A Multi-purpose Benchmarking Framework for Semantic Comparisons of Multimedia Object Pairs
Towards Formalizing the Java Security Architecture of JDK 1.2
CyberSure: A Framework for Liability Based Trust
Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2019 International Workshops, DPM 2019 and CBT 2019, Luxembourg, September 26-27, 2019, Proceedings
Privacy-Preserving Collaborative Medical Time Series Analysis Based on Dynamic Time Warping
Proactivizer: Transforming Existing Verification Tools into Efficient Solutions for Runtime Security Enforcement
Optimizing Mixing in Pervasive Networks: A Graph-Theoretic Perspective
Formal Specification of Security Requirements using the Theory of Normative Positions
Even More Practical Secure Logging: Tree-Based Seekable Sequential Key Generators
On Obligations
Least Information Redundancy Algorithm of Printable Shellcode Encoding for X86
Digital Payment Systems with Passive Anonymity-Revoking Trustees
Threat Analysis in Dairy Farming 4.0
Payment Network Design with Fees
A Formal Framework for Authentication
Enhancing Location Privacy for Electric Vehicles (at the Right time)
Verifiably Encrypted Signatures: Security Revisited and a New Construction
SerdeSniffer: Enhancing Java Deserialization Vulnerability Detection with Function Summaries
Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking
DBBA: Diffusion-Based Backdoor Attacks on Open-Set Face Recognition Models
Computer Security - ESORICS 2025 - 30th European Symposium on Research in Computer Security, Toulouse, France, September 22-24, 2025, Proceedings, Part III
Secure Approximate Nearest Neighbor Search with Locality-Sensitive Hashing
Designing Reverse Firewalls for the Real World
Puncturable Encryption: A Generic Construction from Delegatable Fully Key-Homomorphic Encryption
Interleaving Cryptanalytic Time-Memory Trade-Offs on Non-uniform Distributions
Quantum-Resistant Password-Based Threshold Single-Sign-On Authentication with Updatable Server Private Key
Analyzing Side Channel Leakage of Masked Implementations with Stochastic Methods
PE(AR)2: Privacy-Enhanced Anonymous Authentication with Reputation and Revocation
Formal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker
Design of a Validation Model of the Cognitive State in Military Operations in Cyberspace
A Mix-Mediated Anonymity Service and Its Payment
Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code
What Blockchain Alternative Do You Need?
Review on Privacy and Trust Methodologies in Cloud Computing
Incorporating Dynamic Constraints in the Flexible Authorization Framework
Formal Semantics for Authentication Logics
Optimality and Complexity of Inference-Proof Data Filtering and CQE
VuRLE: Automatic Vulnerability Detection and Repair by Learning from Examples
Usable Access Control in Collaborative Environments: Authorization Based on People-Tagging
On the Security of MIL-STD-1553 Communication Bus
Decentralised Scheduling of Power Consumption in Micro-grids: Optimisation and Security
How to Aggregate the CL Signature Scheme
Finding Peer-to-Peer File-Sharing Using Coarse Network Behaviors
PoW-How: An Enduring Timing Side-Channel to Evade Online Malware Sandboxes
Traceability and Integrity of Execution in Distributed Workflow Management Systems
Leveraging the Domain Experts: Specializing Privacy Threat Knowledge
Towards Detection-Recovery Strategy for Robust Decentralized Matrix Factorization
Privacy Preserving Netting Protocol for Inter-bank Payments
The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard
From Intrusion Detection to Software Design
Efficient One-Pass Private Set Intersection from Pairings with Offline Preprocessing
Practical Randomized Lattice Gadget Decomposition with Application to FHE
Development of an Embedded Platform for Secure CPS Services
Managing Computer Security: How Can Research Help?
Password-Based Credentials with Security Against Server Compromise
Checking Trace Equivalence: How to Get Rid of Nonces?
Robust Password-Protected Secret Sharing
DE-auth of the Blue! Transparent De-authentication Using Bluetooth Low Energy Beacon
Towards Efficient Verifiable Conjunctive Keyword Search for Large Encrypted Database
Real-Time Adversarial Perturbations Against Deep Reinforcement Learning Policies: Attacks and Defenses
Unique Group Signatures
Towards Enabling Trusted Artificial Intelligence via Blockchain
SyLPEnIoT: Symmetric Lightweight Predicate Encryption for Data Privacy Applications in IoT Environments
Threat Sensitive Networking: On the Security of IEEE 802.1CB and (un)Effectiveness of Existing Security Solutions
Short Paper: Integrating the Data Protection Impact Assessment into the Software Development Lifecycle
Preserving Buyer-Privacy in Decentralized Supply Chain Marketplaces
Design and Validation of a Threat Model Based on Cyber Kill Chain Applied to Human Factors
Statistical Properties of Pseudo Random Sequences and Experiments with PHP and Debian OpenSSL
Efficient SAT-Based Pre-image Enumeration for Quantitative Information Flow in Programs
Mime Artist: Bypassing Whitelisting for the Web with JavaScript Mimicry Attacks
Privacy in Location-Based Applications, Research Issues and Emerging Trends [This book was partially born out of the First International Workshop on Privacy in Location-Based Applications (PiLBA 2008) held in Malaga, Spain, in October 2008, in conjunction with the 13th European Symposium on Research in Computer Security]
Secure Static Content Delivery for CDN Using Blockchain Technology