7 citations · 12 across the 8 of their papers we have counts for
8 papers
Winternitz stack protocols
Alex Shafarenko
This paper proposes and evaluates a new bipartite post-quantum digital signature protocol based on Winternitz chains and the HORS oracle. Mutually mistrustful Alice and Bob are abl…
Indexing structures for the PLS blockchain
Alex Shafarenko
This paper studies known indexing structures from a new point of view: minimisation of data exchange between an IoT device acting as a blockchain client and the blockchain server r…
A PLS blockchain for IoT applications: protocols and architecture
Alex Shafarenko
This paper proposes an architecture and a protocol suite for a permissioned blockchain for a local IoT network. The architecture is based on a sealed Sequencer and a Fog Server run…
Configuring Cloud-Service Interfaces Using Flow Inheritance
Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko
Technologies for composition of loosely-coupled web services in a modular and flexible way are in high demand today. On the one hand, the services must be flexible enough to be reu…
A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces
Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko
Modularity and decontextualisation are core principles of a service-oriented architecture. However, the principles are often lost when it comes to an implementation of services, as…
Interface Reconciliation in Kahn Process Networks using CSP and SAT
Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko
We present a new CSP- and SAT-based approach for coordinating interfaces of distributed stream-connected components provided as closed-source services. The Kahn Process Network (KP…
A Case Study in Coordination Programming: Performance Evaluation of S-Net vs Intel's Concurrent Collections
Pavel Zaichenkov, Bert Gijsbers, Clemens Grelck +2
We present a programming methodology and runtime performance case study comparing the declarative data flow coordination language S-Net with Intel's Concurrent Collections (CnC). A…
CAL: A Language for Aggregating Functional and Extrafunctional Constraints in Streaming Networks
Alex Shafarenko, Raimund Kirner
In this article we present the {\em Constraint Aggregation Language} (CAL), a declarative language for describing properties of stateless program components that interact by exchan…