skip to main content
Lingue:
Mostra solo
Filtrati per: Autore: Katzenbeisser, Stefan rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On compiling Boolean circuits optimized for secure multi-party computation

Büscher, Niklas ; Franz, Martin ; Holzer, Andreas ; Veith, Helmut ; Katzenbeisser, Stefan

Formal Methods in System Design, 2017, Vol.51(2), pp.308-331 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
2
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Proactive Detection of Computer Worms Using Model Checking

Kinder, Johannes ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut

IEEE Transactions on Dependable and Secure Computing, October 2010, Vol.7(4), pp.424-438 [Rivista Peer Reviewed]

Fulltext disponibile

3
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments

Hermann, Uwe ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut

Fulltext disponibile

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (2)

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Veith, Helmut
  2. Katzenbeisser, Stefan
  3. Veith, H.
  4. Katzenbeisser, S.
  5. Schallhart, Christian

Ricerca in corso nelle risorse remote ...