Sergey Tverdyshev

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 11

Top Topics

Specific Domains

False Positives And False Negatives

Industrial Automation

Formal Specification

Top Venues

Secur. Commun. Networks

Arch. Formal Proofs

Publications

Hazem Abaza, Abhinaba Habishyashi, Debayan Roy, Andrea Bastoni, Zain Alabedin Haj Hammadeh, Shiqing Fan, Selma Saidi, Sergey Tverdyshev
RDMA-Based Deterministic Communication Architecture for Autonomous Driving. RTCSA (2023)
Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
A Toolchain for Synthesizing and Validating Safety Architectures. SN Comput. Sci. 4 (4) (2023)
Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. MODELSWARD (2022)
Gautam Gala, Carlos Rodriguez, Veaceslav Monaco, Javier Castillo, Gerhard Fohler, Veaceslav Falico, Sergey Tverdyshev
Monitoring Framework to Support Mixed-Criticality Applications on Multicore Platforms. DSD (2022)
Don Kuzhiyelil, Philipp Zieris, Marine Kadar, Sergey Tverdyshev, Gerhard Fohler
Towards Transparent Control-Flow Integrity in Safety-Critical Systems. ISC (2020)
Marine Kadar, Sergey Tverdyshev, Gerhard Fohler
Towards Host Intrusion Detection for Embedded Industrial Systems. DSN (Supplements) (2020)
Marine Kadar, Sergey Tverdyshev, Gerhard Fohler
System Calls Instrumentation for Intrusion Detection in Embedded Mixed-Criticality Systems. CERTS (2019)
Markus Heinrich, Tsvetoslava Vateva-Gurova, Tolga Arul, Stefan Katzenbeisser, Neeraj Suri, Henk Birkholz, Andreas Fuchs, Christoph Krauß, Maria Zhdanova, Don Kuzhiyelil, Sergey Tverdyshev, Christian Schlehuber
Security Requirements Engineering in Safety-Critical Railway Signalling Networks. Secur. Commun. Networks 2019 (2019)
Holger Blasum, Sergey Tverdyshev
Classic and Adaptive AUTOSAR in MILS terms. MILS@DSN (2018)
Sergey Tverdyshev
Security by Design: Introduction to MILS. MILS (2017)
Sergey Tverdyshev
EURO-MILS: Building and certifying modular secure systems. MILS@HiPEAC (2016)
Sergey Tverdyshev
EURO-MILS: Building and certifying modular secure systems. MILS@HiPEAC (2015)
Sergey Tverdyshev, Holger Blasum, Ekaterina Rudina, Dmitry Kulagin, Pavel Dyakin, Stanislav Moiseev
Security Architecture and Specification Framework for Safe and Secure Industrial Automation. CRITIS (2015)
Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi
Formal API Specification of the PikeOS Separation Kernel. NFM (2015)
Daniel Adam, Sergey Tverdyshev, Carsten Rolfes, Timo Sandmann
Two Architecture Approaches for MILS Systems in Mobility Domains (Automobile, Railway and Avionik). MILS@HiPEAC (2015)
Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz
Formal Specification of a Generic Separation Kernel. Arch. Formal Proofs 2014 (2014)
Kevin Mueller, Michael Paulitsch, Sergey Tverdyshev, Holger Blasum
MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures. DSN Workshops (2012)
Christoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev
Proving Memory Separation in a Microkernel by Code Level Verification. ISORC Workshops (2011)
Sergey Tverdyshev
Extending the GWV Security Policy and Its Modular Application to a Separation Kernel. NASA Formal Methods (2011)
Erik Endres, Christian A. Müller, Andrey Shadrin, Sergey Tverdyshev
Towards the Formal Verification of a Distributed Real-Time Automotive System. NASA Formal Methods (2010)
Sergey Tverdyshev
A verified platform for a gate-level electronic control unit. FMCAD (2009)
Mark A. Hillebrand, Sergey Tverdyshev
Formal Verification of Gate-Level Computer Systems. CSR (2009)
Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev
Invariants, Modularity, and Rights. Ershov Memorial Conference (2009)
Sergey Tverdyshev, Eyad Alkassar
Efficient Bit-Level Model Reductions for Automated Hardware Verification. TIME (2008)
Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev
Formal Device and Programming Model for a Serial Interface. VERIFY (2007)
Sergey Tverdyshev
Combination of Isabelle/HOL with Automatic Tools. FroCoS (2005)