Author of the publication

Decidability and Complexity Results for Security Protocols.

, , and . VISSAS, volume 1 of NATO Security through Science Series D: Information and Communication Security, page 185-211. IOS Press, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Tiplea, Ferucio Laurentiu
add a person with the name Tiplea, Ferucio Laurentiu
 

Other publications of authors with the same name

Jumping Petri Nets - Specific Properties., and . Developments in Language Theory, page 461-476. Aristotle University of Thessaloniki, (1997)Instantiating Nets and Their Applications to Workflow Nets., and . SYNASC, page 367-373. IEEE Computer Society, (2005)E-timed Workflow Nets., and . SYNASC, page 423-429. IEEE Computer Society, (2006)Resource Relocation in Workflow Nets With Time, Resource, and Task Priority Constraints., and . IEEE Trans. Systems, Man, and Cybernetics: Systems, 44 (7): 953-965 (2014)On a Normal Form of Petri Nets., , and . Acta Cybern., 12 (3): 295-308 (1996)On the asymptotic idealness of the Asmuth-Bloom threshold secret sharing scheme., and . Inf. Sci., (2018)On the Asymptotic Idealness of the Asmuth-Bloom Threshold Secret Sharing Scheme., and . IACR Cryptology ePrint Archive, (2014)Privacy and Reader-first Authentication in Vaudenay's RFID Model with Temporary State Disclosure., and . IACR Cryptology ePrint Archive, (2019)Group Anonymity in Security Protocols., and . FedCSIS, page 407-416. (2018)Security of Identity-Based Encryption Schemes from Quadratic Residues., , , and . SECITC, volume 10006 of Lecture Notes in Computer Science, page 63-77. (2016)