Events

HCII 2011

Orlando 9.-14.7.2011

Organizing Committee (members from FIT)

Očenášek Pavel, Ing., Ph.D., UIFS FIT VUT

Section moderators (members from FIT)

Očenášek Pavel, Ing., Ph.D., UIFS FIT VUT, Security and Forensic Aspects of Human-Computer Interaction

Invited Speakers

Očenášek Pavel, Ing., Ph.D., UIFS FIT VUT

Speakers

Očenášek Pavel, Ing., Ph.D., UIFS FIT VUT

Selected publications

2011OČENÁŠEK Pavel and HRANÁČ Jakub. Routing Functionality in the Logic Approach for Authentication Protocol Design. In: Human Interface and the Management of Information. Interacting with Information. Berlin Heidelberg: Springer Verlag, 2011, pp. 366-373. ISBN 978-3-642-21792-0.
 OČENÁŠEK Pavel. An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition. In: Human Interface and the Management of Information. Interacting with Information. Berlin Heidelberg: Springer Verlag, 2011, pp. 374-378. ISBN 978-3-642-21792-0.
 OČENÁŠEK Pavel. Analysis of Authentication Protocols with Scyter: Case Study. In: Human Interface and the Management of Information. Interacting with Information. Berlin Heidelberg: Springer Verlag, 2011, pp. 359-365. ISBN 978-3-642-21792-0.
 VOGEL Ivan, ZEDEK František and OČENÁŠEK Pavel. Constructing Phylogenetic Trees Based on Intra-Group Analysis of Human Mitochondrial DNA. In: Human Interface and the Management of Information. Interacting with Information. Berlin Heidelberg: Springer Verlag, 2011, pp. 165-169. ISBN 978-3-642-21792-0.

Your IPv4 address: 54.196.127.107
Switch to IPv6 connection

DNSSEC [dnssec]