yusuke1997/dblp-id-title huggingface dataset:
Security Standardisation Research - 9th International Conference, SSR 2024, Kunming, China, December 16, 2024, Proceedings
OAuthGuard: Protecting User Security and Privacy with OAuth 2.0 and OpenID Connect
Quantum-Resistant MACsec and IPsec for Virtual Private Networks
Unpicking PLAID - A Cryptographic Analysis of an ISO-Standards-Track Authentication Protocol
Attribute-Based Access Control Architectures with the eIDAS Protocols
Vision Paper: Do We Need Standardization of Blockchain Consensus? - Progress and Challenges to Standardizing Blockchain Consensus
Robustness Modelling and Verification of a Mix Net Protocol
Secure Modular Password Authentication for the Web Using Channel Bindings
Analysis of a Proposed Hash-Based Signature Standard
Co-ordinating Developers and High-Risk Users of Privacy-Enhanced Secure Messaging Protocols
Cryptanalysis of GlobalPlatform Secure Channel Protocols
Defeating the Downgrade Attack on Identity Privacy in 5G
Thou Shalt Discuss Security: Quantifying the Impacts of Instructions to RFC Authors
On the Security of RSA-PSS in the Wild
A Modular Framework for Multi-Factor Authentication and Key Exchange
Size-Efficient Digital Signatures with Appendix by Truncating Unnecessarily Long Hashcode
Reactive and Proactive Standardisation of TLS
Analysis of the PKCS#11 API Using the Maude-NPA Tool
Security Standardisation Research - 8th International Conference, SSR 2023, Lyon, France, April 22-23, 2023, Proceedings
Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning
On the Memory Fault Resilience of TLS 1.3
Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC)
SoK: Post-Quantum Key Encapsulation Mechanisms - Security Definitions, Constructions, and Applications
Experimental Evaluation of Attacks on TESLA-Secured Time Synchronization Protocols
Cross-Tool Semantics for Protocol Security Goals
Security Goals and Evolving Standards
Adapting Rigidity to Symmetric Cryptography: Towards "Unswerving" Designs
Toxic Friends in Your Network: Breaking the Bluetooth Mesh Friendship Concept
Scloud + : An Efficient LWE-Based KEM Without Ring/Module Structure
Analysis of the IBM CCA Security API Protocols in Maude-NPA
Non-repudiation Services for the MMS Protocol of IEC 61850
Side Channel Cryptanalysis of Streebog
Vision: A Critique of Immunity Passports and W3C Decentralized Identifiers
Limitations of Wrapping Protocols and TLS Channel Bindings: Formal-Methods Analysis of the Session Binding Proxy Protocol
State Management for Hash-Based Signatures
Robust Authenticated Key Exchange Using Passwords and Identity-Based Signatures
Great Expectations: A Critique of Current Approaches to Random Number Generation Testing & Certification
Security Standardisation Research - 6th International Conference, SSR 2020, London, UK, November 30 - December 1, 2020, Proceedings
Blinded Diffie-Hellman - Preventing Eavesdroppers from Tracking Payments
Improving the ISO/IEC 11770 Standard for Key Management Techniques
Security Standardisation Research - Third International Conference, SSR 2016, Gaithersburg, MD, USA, December 5-6, 2016, Proceedings
Security Standardisation Research - 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings
Secure Multicast Group Management and Key Distribution in IEEE 802.21
Privacy Preserving AKMA in 5G
Security and Privacy Evaluation of IP Cameras on Shodan
Improving Air Interface User Privacy in Mobile Telephony
Standardisation of and Migration to Post-Quantum Cryptography
The New Randomness Beacon Format Standard: An Exercise in Limiting the Power of a Trusted Third Party
Transitioning to Quantum-Secure Encryption Schemes
Analyzing and Fixing the QACCE Security of QUIC
Proceedings of the 5th ACM Workshop on Security Standardisation Research Workshop, London, UK, November 11, 2019
Security Standardisation Research - First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings
Algorithm Agility - Discussion on TPM 2.0 ECC Functionalities
Tap-Tap and Pay (TTP): Preventing the Mafia Attack in NFC Payment
Vision Paper: Do We Need to Change Some Things? - Open Questions Posed by the Upcoming Post-quantum Migration to Existing Standards and Deployments
The SPEKE Protocol Revisited
Identity Confidentiality in 5G Mobile Telephony Systems
A Practical Trust Framework: Assurance Levels Repackaged Through Analysis of Business Scenarios and Related Risks
Authenticated Key Exchange over Bitcoin
On Internal Re-keying
Extending the UML Standards to Model Tree-Structured Data and Their Access Control Requirements
Standardization Transparency - An Out of Body Experience
SoK: Anonymous Credentials
Post-Quantum Variants of ISO/IEC Standards: Compact Chosen Ciphertext Secure Key Encapsulation Mechanism from Isogeny
Security of the SM2 Signature Scheme Against Generalized Key Substitution Attacks
Security Analysis of the W3C Web Cryptography API
Generating Unlinkable IPv6 Addresses
A Systematic Appraisal of Side Channel Evaluation Strategies
Formal Support for Standardizing Protocols with State
Stego Quality Enhancement by Message Size Reduction and Fibonacci Bit-Plane Mapping
Analyzing Proposals for Improving Authentication on the TLS/SSL-Protected Web
Security Standardisation Research - Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings
On Reducing Underutilization of Security Standards by Deriving Actionable Rules: An Application to IoT
A Study of KEM Generalizations
First Results of a Formal Analysis of the Network Time Security Specification
Post-quantum Security for the Extended Access Control Protocol
Computationally Analyzing the ISO 9798-2.4 Authentication Protocol
Meeting Engineer Efficiency Requirements in Highly Parallel Signal Processing by using Platforms
On the Use of Category Theory for Specification Composition of Dependable Distributed Protocols
A Checkpoint using Loose Synchronization in Distributed Systems
General Tridiagonal Solvers on Rings
The MOSIX Parallel I/O System for Scalable I/O Performance
A Genetic Real-Time Fault-Tolerant Scheduling Algorithm with Backup Overloading Technique
Fault Tolerant Unicast Wormhole Routing in Irregular Computer Networks
Co-scheduling of MPI and Adaptive Thread Applications under Solaris
Fast Restoration Signaling in Optical Networks
GTTPM - An Efficient Deadlock-Free Multicast Wormhold Algorithm for Communication in 2D Torus Multicomputers
An Efficient Distributed Group Mutual Exclusion Algorithm for Non-Uniform Group Access
A Fault Tolerant Pipelined Cluster Model
Deterministic Distributed Safety-Critical Real-Time Systems within the Oasis Approach
Control-message Scheduling for Improving Restoration Times in Optical Networks
Scheduling of Query Execution Plans in Distributed-Memory Multiprocessor Database Systems
A Scaleable and Fault-tolerant Architecture for Distributed Web Resource Discovery
Efficient Algorithms for Ghost Cell Updates on Two Classes of MPP Architectures
Performance Evaluation of Locality in SSDLM for Distributed Lock Management
A Comparison of Techniques for Distributing File-based Tasks for Public-Resource Computing
A New Optimization Technique for the Inspector-Executor Method
The Parallel Algorithm for an Improved SUMT Method for Equality Constrained Optimization
Memory Latency Reduction with Fine-grain Migrating Threads in Numa Shared-memory Multiprocessors
Implementing Hardware Multithreading in a VLIW Architecture
A Parallel Algorithm for Transitive Closure
Cluster-based Molecular Dynamics Parallel Simulation in Thermophysics
An Effective L2 Cache Replacement Policy to Distribute the Bus Traffic in the SMP Node
A Fixed-Structure Learning Automation Solution to the Quality Aware Application Service Configuration in a Grid Environment
A General Alternator
Memory-based Compensation Model for Wireless Fair Scheduling Protocols
Parallel Program Debugging based on Data-Replay
An Economics-based Power-aware Protocol for Computation Distribution in Mobile Ad-Hoc Networks
Secure Multicast Support for Mobile IP with Hierarchical Registration Approach
Messages Scheduling for Data Redistribution Between Heterogeneous Clusters
Improving Performance in Mesh and Torus Networks by Reducing Communication Overhead
A Proposed Architecture to Support Multidisciplinary Learning through Virtual Environment Distribution
Parallel Algorithm for the Law-of-the-Jungle Learning to the Fast Design of Optimal Codebooks
Distributed Deadlock Detection/Resolution based on the Dynamic WFG
Unfolding a Split-node Data-flow Graph
Characteristic-entry Logs in the Memorysafe Information System
Visualization Enables the Programmer to Reduce Cache Misses
A Performance Evaluation of a Safe-distributed Deadlock Resolution Algorithm for the OR Model
Dynamicity Aware Graph Relabeling Systems (DA-GRS), A Local Computation based Model to Describe Manet Algorithms
0-1 Knapsack Problem: BSP/CGM Algorithm and Implementation
Performance of Probing and Coordinated Load Sharing
Real-Time H.264 Encoding by Thread-Level Parallelism: Gains and Pitfalls
Pipelined Mutual Exclusion on Large-scale Cachecoherent Multiprocessors
Real Time Meta Event Specification Language for Java
A User-level Socket Layer over Multiple Physical Network Interfaces
GPSHMEM: Application to Kernel Benchmarks
Improving the Computation and Communication Time with Buffers
A Dynamic Hierarchical System for Large Scale Distributed Applications
A Fault-Tolerant Causal Broadcast Algorithm to be Applied to Unreliable Networks
Proxy based Two Phase Commit with Wait for Improved Response Time and Blocking Probability
JOR: A Java Object Router
GORBA: A Global Optimising Resource Broker Embedded in a Grid Resource Management System
Application of Parallel Replica Dynamics to Pyrolysis of n-Hexadecane
Parallel Random Generators for Heterogeneous Computing Environments
Dynamic Load Balancing of Content Requests in Peer to Peer Systems
Intelligent Prefetching and Caching for Scientific Datamining in the Middleware GAMine
On Node-to-Node Disjoint Paths in the Star Interconnection Network
Analysis on Resource Utilization Patterns of Office Computer
Building a Highly Scalable MPI Runtime Library on Grid using Hierarchical Virtual Cluster Approach
A Performance Analysis Tool for Distributed Virtual Shared-memory Systems
Parallel Bi-dimensional Pattern Matching with Scaling
A Lazy Replication Scheme for Loosely Synchronized UDDI Registries
Dynamic QoS Adaptability in Quasi-Synchronous Systems
Forecasting Stock Prices using Neural Networks on a Beowulf Cluster
Unification of Amdahl's Law, LogP and Other Performance Models for Message-Passing Architectures
Sequence-based Optimal Multicast-trees
A Fault-tolerant Routing Strategy for Generalized Hierarchical Completely-connected Networks
Time-Efficient Layer-2 Auto-Configuration for Cognitive Radios
Sensor Abstraction and Context Delivery Model based on Web Services for Context-Aware Computing
Dynamic Load-balancing of Image Processing Applications on Heterogeneous Networks of Workstations
A Grid CPU Availability Forecasting Tool for Windows
Distributed Dimension Reduction Algorithms for Widely Dispersed Data
Optimal Assignment with Guaranteed Confidence Probability for Trees on Heterogeneous DSP Systems
A Fast Parallel Routing Algorithm for Benes Group Switches
Boundary Tracking Solutions for Mobile Ad Hoc Networks
Parallel Maintenance of Materialized Views on Personal Computer Clusters
A Width Expansion of MMX/SIMD Processing Architecture on an FPGA
FTOP: A Library for Fault Tolerance in a Cluster
Performance of Network Subsystems for a Technical Simulation on Linux Clusters
Probabilistic Analysis on Mesh Network Fault Tolerance
International Conference on Parallel and Distributed Computing Systems, PDCS 2002, November 4-6, 2002, Cambridge, USA
Implicit Information Approach for Self-Scheduling Load Sharing Policy
A User-Level Connection Cache for TCP based Applications
Analyzing the Advantages of Run-Time Reconfiguration in Radar Signal Processing
NCPN: A Simulation Tool for Coloured Petri Nets
An Optimizing Search Method of Systolic Array Design
A Secured Service Framework for Mobile Agent based Distributed Systems
Parallel Computation for Wavelet Packet Transform
MobiSpace: A Distributed Tuplespace for J2me Environments
A Proposal for RSVP Route Updating Methods to Support Mobility of Sender or Receiver
A Light-Weight Message Transport Framework for Multi-Agent based Simulation
Distributed Cache Content Management Protocol for Cooperative Web Server
Enumerative Techniques in Topological Optimization of Computer Networks Subject to Fault Tolerance and Reliability
Design and Implementation of a VLIW Processor Simulation Environment with Instruction Scheduling Framework
Self-Adaptation in Sensor Networks via Code Mutation
Admission Control Algorithms for Hard Real-time Connections in ATM Networks
Optimizing Automatically Generated Programs for a Software Distributed Shared Memory System
VASA: A Simulator Infrastructure with Adjustable Fidelity
TODS: A Distributed Persistent Object Store
On Special-purpose Hardware Clusters for High-performance Computational Grids
SANtopia: Shared-disk File System for Storage Cluster
Tractable Real-time Air Traffic Control Automation
ARMaDA: An Adaptive Application-sensitive Partitioning Framework for SAMR Applications
A High Performance Gigabit Ethernet Messaging Method for PVFS
Security Policy Management in Distributed Systems
A Reconfigurable System Architecture for Consensus-based Group Communication
Location of Base Station
Two Inherently Parallel Problems in Computational Geometry
Finding Two Disjoint Paths in a Network with Normalized alpha-MIN-SUM Objective Function
ATOLL: Performance and Cost Optimization of a San Interconnect
Domain-specific Metaware for Hydrologic Applications
Resource Allocation for Quality of Service Provision in Buffered Crossbar Switches with Traffic Aggregation
Emulating of Output Queueing using a Novel 3D-VOQ Switch
Grid Resource Monitoring and Selection for Rapid Turnaround Applications
3DBackfilling: A Space-Sharing Approach for Non-Dedicated Clusters
Extended FACE Routing Protocol for Wireless Sensor Networks
Cluster-building in P2P-Community Networks
Distributed Memory Auction Algorithms for the Linear Assignment Problem
Fault Tolerant Topology Control with Unreliable Failure Detectors
Phatpackets for Data Transport within an HPC Network
JICOS: A Java-Centric Network Computing Service
On the Relation between Parallel Real-time Computations and Logarithmic Space
A Layered Architecture for NOC Design Methodology
Dead Block Placement Avoidance in L1 Data Caches
The Impact of Laziness on the Performance of Snapshot Algorithms
On an Open Problem of a Template Mapping Algorithm for Complete Binary Trees
Reliability Driven, Non-preemptive Real Time Scheduling on Heterogeneous Systems
Locating the Median of a Tree in Real Time
Coordinated Energy Conservation in Ad Hoc Networks
Hardware Scheduling in High-speed, High-capacity IP Routers
QoS Aware Topology Control and Routing in Wireless Ad Hoc Networks
The EP-Cache Automatic Monitoring System
Performance of Parallel Molecular Dynamics Algorithm with Ewald Coulomb
Synchronous Geodetic Network
Communication Characteristics in the NAS Parallel Benchmarks
The MP_Lite Message-passing Library
An Independent Set Approach to Solving the Collaborative Attack Problem
A System for Load Balancing a Heterogeneous Cluster
Component Model Design Space
Thread Scheduling and Grain Emulation in Software-DSM Systems
Evaluating Communication Performance Measurement Methods for Distributed Systems
An Efficient and Scalable Clustering Algorithm for Wireless Ad Hoc Networks
A High Performance Packet Capturing Support for Alarm Management Systems
Linux Clustering using the PowerPC G4 Processor
The Design of the Reliable Communication Path in the Distributed Multiprocessor System
Web Services Development Process
An Efficient and Low Overhead Random Forwarding Table Construction Method for Deadlock-Free Routing Algorithms in Infiniband Networks
International Conference on Parallel and Distributed Computing Systems, PDCS 2005, November 14-16, 2005, Phoenix, AZ, USA
Lazy Snapshorts
Comparative Performance Study of Distributed Deadlock Handling Techniques for the Generalized Request Model
A Model for Estimating the Performance of Synchronous Parallel Network Simulation
Environment of Shared Objects for the Web
An Improved Network Intrusion Detection Method based on VQ-SVM
Nautilus, a Diagrammatic Specification and Programming Language
A Scalable Pipelined Associative SIMD Array with Reconfigurable PE Interconnection Network for Embedded Applications
Proactive Reliable Bulk Data Dissemination in Sensor Networks
Design and Implementation of a Programmable Scheduling Engine for ATM Switches
Performance Analysis of IP Packets over WDM Ring Networks
Hierarchical Coordinated Checkpointing Protocol
Implementation of a Functional Bulk Synchronous Parallel Programming Library
How Choices for Parallel Programming Models are Made - Influence of Personality Type
Isomorphic Types for Open Coordination Systems
Peer-to-peer Communities: Formation and Discovery
Improving Performance of a Distributed File System using Object Store Devices and Cooperative Cache
An Incremental Distributed Minimum Directed Spanning Tree Algorithm
Scalable Algorithms for Faulty R-Meshes
Grid Computing Distribution using Network Processors
Software Architecture for Remote Control of Computer Hardware Interfaces
Free Space All-optical Crossconnect
Simple Evasive Data Storage in Sensor Networks
D3 G2A: A Dynamic Distributed Double Guided Genetic Algorithm for Optimization and Constraint Satisfaction
Evaluation of a Region-based Partial Inlining Algorithm for an ILP Optimizing Compiler
Constant Time Algorithms in Maze Routing
Safety and Hazard Analysis in Concurrent Systems
Investigation of an Optimistic based Concurrency Control Mechanism for Parallel File Systems
Survivable IP Over WDM: Guaranteeing Minimum Network Bandwidth
Channel Setup Prediction in Preemptive Distributed Heterogeneous Networking Environments
Communication Characteristics of Message-Passing Scientific and Engineering Applications
Dynamic Issues in MPLS Service Restoration
Power Aware Metrics for Wireless Sensor Networks
A New Efficient Clustering Algorithm for Network Alarm Analysis
Effective Remote MPI-I/O on a Parallel Virtual File System using a Circular Buffer: A Case Study for Optimization
Virtual Nonblocking Switching Networks
Large-scale Group Communication Protocol for a Two-layered Group
Localized Delaunay Diagram for Topological Construction and Routing on Manets
Managing Compilation Overheads in a Runtime Specializer for OpenMP
Climateprediction.net: Design Principles for Publicresource Modeling Research
Navigation in Grid Space with the NAS Grid Benchmarks
Hierarchical Clustering of Message Flows in a Multicast Data Dissemination System
Automatic Improvement of Scheduling Policies in Parsley Parallel Programming Environment
Scalable Range Query Processing for Large-Scale Distributed Database Applications
A Randomized Solution to the Distributed Resource Allocation Problem
Design of Large-scale Optical Networks
Scheduling Multiple Divisible Loads on Heterogeneous Linear Daisy Chain Networks
Minimizing Computational Load and Communication Costs in Multi-agent Systems
Maglog: A Mobile Agent Framework for Distributed Models
The BNAI Analyzer: A Tool for Verifying Admissible Information Flow in Protocols
New Routing Schemes for Interval, Circular-Arc, and Permutation Graphs
Batch Rekeying in Mykil Key Management System
A Comparison of Peer-to-peer Query Response Modes
Proposal and Design of a Parallel Queue Processor Architecture (PQP)
Control of Event Handling Timeliness in RTEMS
Dynamic Hypercubic Parallel Computations
Performance Enhancement of Inter-Cluster Communication with Software-based Data Compression Link Layer
Asynchronous Parallel Programming Model for SMP Clusters
A DSM Operating System for Persistent Objects
Extending OpenMP for Implementation of Multi-Paradigm and Multi-Grain Parallel Execution Model
Load Balancing Parallel Loops on Message-passing Systems
Reliable Event Transfer in Wireless Sensor Networks Deployed for Emergency Response
Soft Real-time Layered Group Communication
A Model for Management of Telecommunication Networks using CORBA
Efficient BSP/CGM Algorithms for Text Retrieval
Analysis and Algorithms for Partitioning of Large-scale Adaptive Mobile Networks
Securing Resources in Collaborative Environments: A Peer-to-Peer Approach
A Dynamic Programming Technique for Analyzing Business Process Management Systems
Parallel Volume Rendering with Sparse Data Structures
Swordfish: A Simulator for High-Performance Networks
A Redistribution Function for a Distributed Array Datatype on Distributed Computing Environments
A Formal Model for Eventual Consistency Semantics
Performance of Group Key Agreement Protocols over Multiple Operations
P2P Volunteers for Reliable Server Farms
Efficient Memory Management for SMPs Running Parallel and Sequential Workloads
Efficient Mining of Discriminative Molecular Fragments
A PC Cluster System Employing the IEEE 1394
The Vega Personal Grid: A Lightweight Grid Architecture
On Independently Finding Converging Paths in Internet
An Object-oriented Framework for Parallel, Reactive Molecular Dynamics Simulation
Distributed One-Hope Algorithm based on Steiner Connected Dominating Set in Wireless Networks
A Formal Method for Modeling and Managing Large-Scale Distributed Applications
An Evaluation Architecture for a Network Coprocessor
WSF: An HTTP-Level Firewall for Hardening Web Servers
Fairlocks A High Performance Fair Locking Scheme
A Distributed Middleware Platform for Emergency Services
The Budget Management for Failure Prevention in Real-Time Systems
Architectural Software Power Estimation Support for Power Aware Remote Processing
A Performance Model and Scalability Analysis of the HYCOM Ocean Simulation Application
Transparency on Developing Distributed Applications with ATLAS
Distributed Parallel Computing using Navigational Programming: Orchestrating Computations Around Data
An Introduction to New Extensions for Stochastic Activity Networks
A Cluster-based Energy Aware Routing Protocol for Sensor Networks
Design Real-Time Java Remote Method Invocation: A Server-Centric Approach
SSCRAP: An Environment for Coarse Grained Algorithms
The System for Evolutionary Computing on the Computational Grid
Complexity of k-Pairwise Disjoint Shortest Paths in the Undirected Hypercubic Network and Related Problems
Design and Implementation of the iWarp Protocol in Software
Software Development Issues of a Distributed Mobile-Commerce System
A Methodology of Binary-level Multithreading and Its Preliminary Evaluation
Supporting Disconnected Computing in Mobile Agent Systems
A Hierarchical Multiple SIMD Architecture for Artificial Neural Networks
The Balancing-Flow Reverse Path Join Protocol based on Multicast
Hardware Support for Concurrent Execution of Loops Containing Loop-carried Data Dependences
On Job Fairness in Non-Preemptive Parallel Job Scheduling
Efficient Critical Task Scheduling Parallel Programs on a Bounded Number of Processors
OpenMP-oriented Applications for Distributed Shared Memory Architectures
A Course-Grid Pre-Processing based Load Balancing Scheme for Parallel Line Integral Convolution
Skeletons in MPI
Performance Comparison of Multi-Agent Grid Job Scheduler Organizations
Clustering using an Autoassociator: A Case Study in Network Event Correlation
Dynamic Multi-Resource Monitoring for Predictive Job Scheduling with ScoPro
Performance Evaluation of INUKTITUT: An Efficient Interface for Asynchronous Parallel Programming Environment Athapascan
Linear Arrangement of Incomplete Hypercubes
Simulation of Policy based Networks through Differentiated Service Levels using Arena Simulation Software
Static Scheduling of Split-Node Data-Flow Graphs
Architectural Support for 3D Graphics in the Complex Streamed Instruction Set
O(1) Time Algorithm on BSR for Computing Convex Hull
Seamless wireless networking for video surveillance applications
Skin color constancy for illumination invariant skin segmentation
Embedded vision platform for video surveillance systems
View morphing and interpolation through triangulation