arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Anastasios Andronidis

12 papers · 2012–2022

2012: 12013: 02014: 02015: 52016: 12017: 12018: 12019: 12020: 02021: 02022: 2
2012peak 5 in 20152022

Frequent co-authors

Papers

showing 1–12 of 12 RSS

SnapFuzz: An Efficient Fuzzing Framework for Network Applications

Anastasios Andronidis, Cristian Cadar

cs.CR · · cited 75× · arXiv ↗ · more like this ·

In recent years, fuzz testing has benefited from increased computational power and important algorithmic advances, leading to systems that have discovered many critical bugs and vulnerabilities in production software. Despite these successes, not all applications can be fuzzed efficiently. In particular, stateful applications such as network protocol implementations are constrained by their low fuzzing throughput and the need to develop fuzzing harnesses that reset their state and isolate their side effects. In this paper, we present SnapFuzz, a novel fuzzing framework for network applications. SnapFuzz offers a robust architecture that transforms slow asynchronous network communication into fast synchronous communication, snapshots the target at the latest point at which it is safe to do so, speeds up all file operations by redirecting them to a custom in-memory filesystem, and removes…

MVEDSUA

Luís Pina, Anastasios Andronidis, Michael Hicks +1 more

Computer Networks and Communications · Spiral (Imperial College London) · · cited 31× · DOI ↗ · more like this ·

Dynamic Software Updating (DSU) is a technique for patching stateful software without shutting it down, which enables both timely updates and non-stop service. Unfortunately, bugs in the update itself---whether in the changed code or in the way the change is introduced dynamically---may cause the updated software to crash or misbehave. Furthermore, the time taken to dynamically apply the update may be unacceptable if it introduces a long delay in service. This paper makes the key observation that both problems can be addressed by employing Multi-Version Execution (MVE). To avoid delay in service, the update is applied to a forked copy while the original system continues to operate. Once the update completes, the MVE system monitors that the responses of both versions agree for the same inputs. Expected divergences are specified by the programmer using an MVE-specific DSL. Unexpected…

SaBRe: load-time selective binary rewriting

Paul-Antoine Arras, Anastasios Andronidis, Luís Pina +4 more

Artificial Intelligence · International Journal on Software Tools for Technology Transfer · · cited 16× · DOI ↗ · more like this ·

Abstract Binary rewriting consists in disassembling a program to modify its instructions. However, existing solutions suffer from shortcomings in terms of soundness and performance. We present SaBRe , a load-time system for selective binary rewriting. SaBRe rewrites specific constructs—particularly system calls and functions—when the program is loaded into memory, and intercepts them using plugins through a simple API. We also discuss the theoretical underpinnings of disassembling and rewriting. We developed two backends—for and —which were used to implement three plugins: a fast system call tracer, a multi-version executor, and a fault injector. Our evaluation shows that SaBRe imposes little overhead, typically below 3%.

<i>FreeDA</i>

Luís Pina, Anastasios Andronidis, Cristian Cadar

Artificial Intelligence · · cited 9× · DOI ↗ · more like this ·

Dynamic analyses such as those implemented by compiler sanitizers and Valgrind are effective at finding and diagnosing challenging bugs and security vulnerabilities. However, most analyses cannot be combined on the same program execution, and they incur a high overhead, which typically prevents them from being used in production.

Online data handling and storage at the CMS experiment

J-M Andre, Anastasios Andronidis, U. Behrens +9 more

Computer Networks and Communications · Journal of Physics Conference Series · · cited 6× · DOI ↗ · more like this ·

During the LHC Long Shutdown 1, the CMS Data Acquisition (DAQ) system underwent a partial redesign to replace obsolete network equipment, use more homogeneous switching technologies, and support new detector back-end electronics. The software and hardware infrastructure to provide input, execute the High Level Trigger (HLT) algorithms and deal with output data transport and storage has also been redesigned to be completely file- based. All the metadata needed for bookkeeping are stored in files as well, in the form of small 'documents' using the JSON encoding. The Storage and Transfer System (STS) is responsible for aggregating these files produced by the HLT, storing them temporarily and transferring them to the T0 facility at CERN for subsequent offline processing. The STS merger service aggregates the output files from the HLT from ~62 sources produced with an aggregate rate of…

A scalable monitoring for the CMS Filter Farm based on elasticsearch

J-M Andre, Anastasios Andronidis, U. Behrens +9 more

Computer Networks and Communications · Journal of Physics Conference Series · · cited 5× · DOI ↗ · more like this ·

A flexible monitoring system has been designed for the CMS File-based Filter Farm making use of modern data mining and analytics components. All the metadata and monitoring information concerning data flow and execution of the HLT are generated locally in the form of small documents using the JSON encoding. These documents are indexed into a hierarchy of elasticsearch (es) clusters along with process and system log information. Elasticsearch is a search server based on Apache Lucene. It provides a distributed, multitenant-capable search and aggregation engine. Since es is schema-free, any new information can be added seamlessly and the unstructured information can be queried in non-predetermined ways. The leaf es clusters consist of the very same nodes that form the Filter Farm thus providing natural horizontal scaling. A separate central" es cluster is used to collect and index…

Performance of the new DAQ system of the CMS experiment for run-2

Jean‐Marc André, Anastasios Andronidis, U. Behrens +9 more

Computer Networks and Communications · CERN Document Server (European Organization for Nuclear Research) · · cited 4× · DOI ↗ · more like this ·

The data acquisition system (DAQ) of the CMS experiment at the CERN Large Hadron Collider (LHC) assembles events at a rate of 100 kHz, transporting event data at an aggregate throughput of more than 100GB/s to the Highlevel Trigger (HLT) farm. The HLT farm selects and classifies interesting events for storage and offline analysis at an output rate of around 1 kHz. The DAQ system has been redesigned during the accelerator shutdown in 2013-2014. The motivation for this upgrade was twofold. Firstly, the compute nodes, networking and storage infrastructure were reaching the end of their lifetimes. Secondly, in order to maintain physics performance with higher LHC luminosities and increasing event pileup, a number of sub-detectors are being upgraded, increasing the number of readout channels as well as the required throughput, and replacing the off-detector readout electronics with a…

Opportunistic usage of the CMS online cluster using a cloud overlay

Olivier Chaze, Jean-Marc André, Anastasios Andronidis +9 more

Computer Networks and Communications · DSpace@MIT (Massachusetts Institute of Technology) · · cited 2× · DOI ↗ · more like this ·

After two years of maintenance and upgrade, the Large Hadron Collider (LHC), the largest and most powerful particle accelerator in the world, has started its second three year run. Around 1500 computers make up the CMS (Compact Muon Solenoid) Online cluster. This cluster is used for Data Acquisition of the CMS experiment at CERN, selecting and sending to storage around 20 TBytes of data per day that are then analysed by the Worldwide LHC Computing Grid (WLCG) infrastructure that links hundreds of data centres worldwide. 3000 CMS physicists can access and process data, and are always seeking more computing power and data. The backbone of the CMS Online cluster is composed of 16000 cores which provide as much computing power as all CMS WLCG Tier1 sites (352K HEP-SPEC-06 score in the CMS cluster versus 300K across CMS Tier1 sites). The computing power available in the CMS cluster can…

File-based data flow in the CMS Filter Farm

J-M Andre, Anastasios Andronidis, Tomasz Bawej +9 more

Computer Networks and Communications · Journal of Physics Conference Series · · cited 2× · DOI ↗ · more like this ·

During the LHC Long Shutdown 1, the CMS Data Acquisition system underwent a partial redesign to replace obsolete network equipment, use more homogeneous switching technologies, and prepare the ground for future upgrades of the detector front-ends. The software and hardware infrastructure to provide input, execute the High Level Trigger (HLT) algorithms and deal with output data transport and storage has also been redesigned to be completely file- based. This approach provides additional decoupling between the HLT algorithms and the input and output data flow. All the metadata needed for bookkeeping of the data flow and the HLT process lifetimes are also generated in the form of small “documents” using the JSON encoding, by either services in the flow of the HLT execution (for rates etc.) or watchdog processes. These “files” can remain memory-resident or be written to disk if they are to…

Increasing Availability by Implementing Software Redundancy in the CMS Detector Control System

Lorenzo Masetti, Jean-Marc André, Anastasios Andronidis +9 more

Computer Networks and Communications · CERN Document Server (European Organization for Nuclear Research) · · cited 2× · DOI ↗ · more like this ·

The Detector Control System (DCS) of the Compact Muon Solenoid (CMS) experiment ran with high availability throughout the first physics data-taking period of the Large Hadron Collider (LHC). This was achieved through the consistent improvement of the control software and the provision of a 24-hour expert on-call service. One remaining potential cause of significant downtime was the failure of the computers hosting the DCS software. To minimize the impact of these failures after the restart of the LHC in 2015, it was decided to implement a redundant software layer for the control system where two computers host each DCS application. By customizing and extending the redundancy concept offered by WinCC Open Architecture (WinCC OA), the CMS DCS can now run in a fully redundant software configuration. The implementation involves one host being active, handling all monitoring and control…

Enhancing the Detector Control System of the CMS Experiment with Object Oriented Modelling

Raúl Jiménez Estupiñán, Jean-Marc André, Anastasios Andronidis +9 more

Computer Networks and Communications · CERN Document Server (European Organization for Nuclear Research) · · cited 0× · DOI ↗ · more like this ·

WinCC Open Architecture (WinCC OA) is used at CERN as the solution for many control system developments. This product models the process variables in structures known as data points and offers a custom procedural scripting language, called Control Language (CTRL). CTRL is also the language to program functionality of the native user interfaces (UI) and is used by the WinCC OA based CERN control system frameworks. CTRL does not support object oriented (OO) modeling by default. A lower level OO application programming interface (API) is provided, but requires significantly more expertise and development effort than CTRL. The Detector Control System group of the CMS experiment has developed CMSfwClass, a programming toolkit which adds OO behavior to the data points and CTRL. CMSfwClass reduces the semantic gap between high level software design and the application domain. It increases…

Using a cloud infrastructure for the on demand provisioning of worker nodes in a grid environment

Paschalis Korosoglou, Anastasios Andronidis, G. Fergadis +1 more

Computer Networks and Communications · IEEE International Conference on High Performance Computing, Data, and Analytics · · cited 0× · OpenAlex ↗ · more like this ·

We showcase the development and deployment of a service that uses a reference Cloud infrastructure to dynamically scale up or down the resources offered through a production Grid cluster. Whenever certain thresholds related to the demand for computing resources are met the service handles the introduction (or removal) of virtualized computing resources under the Grid computing queues.