◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

H. Härtig

6 papers hereh-index 303.5k citations129 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • middle author1
  • last author5

Across the 6 of 6 papers where every author was matched, so the position is known.

fields
  • cs.CR2
  • cs.OS2
  • cs.DC1
  • cs.LO1

identity via Semantic Scholar / OpenAlex

activity
20122023
most citedChiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

5 citations · 10 across the 6 of their papers we have counts for

collaborators
Showing 2022Show all

2 papers · 1 filter

cs.CR2022★ 2 cited

A Case for Practical Configuration Management Using Hardware-based Security Tokens

Tim Lackorzynski, Max Ostermann, Stefan Köpsell +1

Future industrial networks will consist of a complex mixture of new and legacy components, while new use cases and applications envisioned by Industry 4.0 will demand increased fle…

cs.CR2022

Secure and Efficient Tunneling of MACsec for Modern Industrial Use Cases

Tim Lackorzynski, Sebastian Rehms, Tao Li +2

Trends like Industry 4.0 will pose new challenges for future industrial networks. Greater interconnectedness, higher data volumes as well as new requirements for speeds as well as…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.