Dimitrios Serpanos

Identifiers

• name variant Dimitrios Serpanos 0.60 · backfill

Papers (3)

1. Sound and Complete Runtime Security Monitor for Application Software cs.CR · 2016 · author #2
2. On the Formal Semantics of the Cognitive Middleware AWDRAT cs.PL · 2014 · author #2
3. On the Behavioural Formalization of the Cognitive Middleware AWDRAT cs.AI · 2014 · author #2

Mentions

• 1601.04263 #2 · arxiv_oai · confidence 0.70 Dimitrios Serpanos
• 1412.3588 #2 · arxiv_oai · confidence 0.70 Dimitrios Serpanos
• 1412.2328 #2 · arxiv_oai · confidence 0.70 Dimitrios Serpanos
• 1412.3588 #2 · backfill · confidence 0.70 Dimitrios Serpanos
• 1412.2328 #2 · backfill · confidence 0.70 Dimitrios Serpanos

Frequent Coauthors

• Howard Shrobe 3 shared papers
• Muhammad Taimoor Khan 3 shared papers