Ferucio Laurentiu Tiplea

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 37

Top Topics

Encryption Scheme

Access Structure

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Trans. Syst. Man Cybern. Syst.

Publications

Ferucio Laurentiu Tiplea
The Jacobi Symbol Problem for Quadratic Congruences and Applications to Cryptography. IACR Cryptol. ePrint Arch. 2023 (2023)
Ferucio Laurentiu Tiplea, Cristian Hristea, Daniela Gifu
Efficient RFID Scheme in Healthcare Systems. KES (2023)
Ferucio Laurentiu Tiplea
Lessons to be Learned for a Good Design of Private RFID Schemes. IEEE Trans. Dependable Secur. Comput. 19 (4) (2022)
Ferucio Laurentiu Tiplea, Vlad-Florin Dragoi
Generalized Inverse Based Decoding. ISIT (2022)
Ferucio Laurentiu Tiplea, Vlad-Florin Dragoi
Generalized Inverse Based Decoding. CoRR (2022)
Ferucio Laurentiu Tiplea
Narrow privacy and desynchronization in Vaudenay's RFID model. Int. J. Inf. Sec. 21 (3) (2022)
Ferucio Laurentiu Tiplea, Cristian Hristea, Rodica Bulai
Privacy and Reader-first Authentication in Vaudenay's RFID Model with Temporary State Disclosure. Comput. Sci. J. Moldova 30 (3) (2022)
Ferucio Laurentiu Tiplea, Sorin Iftene, George Teseleanu, Anca-Maria Nica
Security of Identity-based Encryption Schemes from Quadratic Residues. IACR Cryptol. ePrint Arch. 2022 (2022)
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
Asymptotically ideal Chinese remainder theorem -based secret sharing schemes for multilevel and compartmented access structures. IET Inf. Secur. 15 (4) (2021)
Ferucio Laurentiu Tiplea, Cristian Hristea
Practically Efficient RFID Scheme with Constant-time Identification. SECRYPT (2021)
Ferucio Laurentiu Tiplea, Cristian Hristea
PUF Protected Variables: A Solution to RFID Security and Privacy Under Corruption With Temporary State Disclosure. IEEE Trans. Inf. Forensics Secur. 16 (2021)
Ferucio Laurentiu Tiplea, Sorin Iftene, George Teseleanu, Anca-Maria Nica
On the distribution of quadratic residues and non-residues modulo composite integers and applications to cryptography. Appl. Math. Comput. 372 (2020)
Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea
A Hennessy-Milner Theorem for ATL with Imperfect Information. LICS (2020)
Cristian Hristea, Ferucio Laurentiu Tiplea
Destructive Privacy and Mutual Authentication in Vaudenay's RFID Model. SOFA (2020)
Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea
A Hennessy-Milner Theorem for ATL with Imperfect Information. CoRR (2020)
Ferucio Laurentiu Tiplea, Alexandru Ionita, Anca-Maria Nica
Practically Efficient Attribute-based Encryption for Compartmented Access Structures. ICETE (2) (2020)
Cristian Hristea, Ferucio Laurentiu Tiplea
Privacy of Stateful RFID Systems With Constant Tag Identifiers. IEEE Trans. Inf. Forensics Secur. 15 (2020)
Ferucio Laurentiu Tiplea, Alexandru Ionita, Anca-Maria Nica
Practically Efficient Attribute-Based Encryption for Compartmented and Multilevel Access Structures. ICETE (Selected Papers) (2020)
Anca-Maria Nica, Ferucio Laurentiu Tiplea
On Anonymization of Cocks' Identity-based Encryption Scheme. Comput. Sci. J. Moldova 27 (3) (2019)
Cristian Hristea, Ferucio Laurentiu Tiplea
Destructive Privacy and Mutual Authentication in Vaudenay's RFID Model. IACR Cryptol. ePrint Arch. 2019 (2019)
Ferucio Laurentiu Tiplea, Cristian Hristea
Privacy and Reader-first Authentication in Vaudenay's RFID Model with Temporary State Disclosure. IACR Cryptol. ePrint Arch. 2019 (2019)
Ferucio Laurentiu Tiplea, Sorin Iftene, George Teseleanu, Anca-Maria Nica
On the Distribution of Quadratic Residues and Non-residues Modulo Composite Integers and Applications to Cryptography. IACR Cryptol. ePrint Arch. 2019 (2019)
Cristian Hristea, Ferucio Laurentiu Tiplea
Privacy of Stateful RFID Systems with Constant Tag Identifiers. IACR Cryptol. ePrint Arch. 2019 (2019)
Ferucio Laurentiu Tiplea, Cosmin Vârlan
Group Anonymity in Security Protocols. FedCSIS (2018)
Constantin Catalin Dragan, Ferucio Laurentiu Tiplea
On the asymptotic idealness of the Asmuth-Bloom threshold secret sharing scheme. Inf. Sci. (2018)
Cristian Hristea, Ferucio Laurentiu Tiplea
A PUF-Based Destructive Private Mutual Authentication RFID Protocol. SecITC (2018)
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
Asymptotically Ideal CRT-based Secret Sharing Schemes for Multilevel and Compartmented Access Structures. IACR Cryptol. ePrint Arch. 2018 (2018)
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan, Anca-Maria Nica
Key-Policy Attribute-Based Encryption from Bilinear Maps. SECITC (2017)
Ferucio Laurentiu Tiplea, Sorin Iftene, George Teseleanu, Anca-Maria Nica
Security of Identity-Based Encryption Schemes from Quadratic Residues. SECITC (2016)
Ferucio Laurentiu Tiplea, Ioana Leahu
The Reversible Released Form of Petri Nets and Its Applications to Soundness of Workflow Nets. IEEE Trans. Syst. Man Cybern. Syst. 46 (2) (2016)
Constantin Catalin Dragan, Ferucio Laurentiu Tiplea
Distributive weighted threshold secret sharing schemes. Inf. Sci. 339 (2016)
Ferucio Laurentiu Tiplea, George Teseleanu, Sorin Iftene, Anca-Maria Nica
Boneh-Gentry-Hamburg's Identity-based Encryption Schemes Revisited. IACR Cryptol. ePrint Arch. 2016 (2016)
Ferucio Laurentiu Tiplea, Emil Simion
New Results on Identity-based Encryption from Quadratic Residuosity. IACR Cryptol. ePrint Arch. 2015 (2015)
George-Daniel Nastase, Ferucio Laurentiu Tiplea
On a Lightweight Authentication Protocol for RFID. SECITC (2015)
Ferucio Laurentiu Tiplea, Raluca A. Diaconu
Petri Net Computers and Workflow Nets. IEEE Trans. Syst. Man Cybern. Syst. 45 (3) (2015)
Ferucio Laurentiu Tiplea, Corina Bocaneala, Raluca Chirosca
On the Complexity of Deciding Soundness of Acyclic Workflow Nets. IEEE Trans. Syst. Man Cybern. Syst. 45 (9) (2015)
Constantin Catalin Dragan, Ferucio Laurentiu Tiplea
Key-Policy Attribute-Based Encryption for General Boolean Circuits from Secret Sharing and Multi-linear Maps. BalkanCryptSec (2015)
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
Key-policy Attribute-based Encryption for Boolean Circuits from Bilinear Maps. IACR Cryptol. ePrint Arch. 2014 (2014)
Constantin Catalin Dragan, Ferucio Laurentiu Tiplea
Efficient Key-policy Attribute-based Encryption for General Boolean Circuits from Multilinear Maps. IACR Cryptol. ePrint Arch. 2014 (2014)
Ferucio Laurentiu Tiplea, Corina Bocaneala
Resource Relocation in Workflow Nets With Time, Resource, and Task Priority Constraints. IEEE Trans. Syst. Man Cybern. Syst. 44 (7) (2014)
Constantin Catalin Dragan, Ferucio Laurentiu Tiplea
On the Asymptotic Idealness of the Asmuth-Bloom Threshold Secret Sharing Scheme. IACR Cryptol. ePrint Arch. 2014 (2014)
Ferucio Laurentiu Tiplea
A Lightweight Authentication Protocol for RFID. CSS (2014)
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
A necessary and sufficient condition for the asymptotic idealness of the GRS threshold secret sharing scheme. Inf. Process. Lett. 114 (6) (2014)
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
Key-Policy Attribute-Based Encryption for Boolean Circuits from Bilinear Maps. BalkanCryptSec (2014)
Ferucio Laurentiu Tiplea, Corina Bocaneala
Priority Workflow Nets. IEEE Trans. Syst. Man Cybern. Syst. 43 (2) (2013)
Mihai Barzu, Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
Compact sequences of co-primes and their applications to the security of CRT-based threshold schemes. Inf. Sci. 240 (2013)
Ferucio Laurentiu Tiplea, Loredana Vamanu, Cosmin Vârlan
Reasoning about minimal anonymity in security protocols. Future Gener. Comput. Syst. 29 (3) (2013)
Ferucio Laurentiu Tiplea, Corina Bocaneala
Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets. IEEE Trans. Syst. Man Cybern. Part A 42 (1) (2012)
Catalin Dima, Ferucio Laurentiu Tiplea
Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable CoRR (2011)
Ferucio Laurentiu Tiplea, Loredana Vamanu, Cosmin Vârlan
Complexity of Anonymity for Security Protocols. ESORICS (2010)
Felix G. Hamza-Lup, Ferucio Laurentiu Tiplea
An Automaton-based Formalism for Cooperative Augmented Reality Systems. NCMA (2009)
Liliana Cojocaru, Erkki Mäkinen, Ferucio Laurentiu Tiplea
. SYNASC (2009)
Ferucio Laurentiu Tiplea, Geanina Ionela Macovei
Soundness for S - and A -Timed Workflow Nets Is Undecidable. IEEE Trans. Syst. Man Cybern. Part A 39 (4) (2009)
Ferucio Laurentiu Tiplea, Catalin V. Bîrjoveanu, Constantin Enea, Ioana Boureanu
Secrecy for bounded security protocols with freshness check is NEXPTIME-complete. J. Comput. Secur. 16 (6) (2008)
Catalin Dima, Marius Minea, Ferucio Laurentiu Tiplea
Preface. Electron. Notes Theor. Comput. Sci. 186 (2007)
Ioana Leahu, Ferucio Laurentiu Tiplea
The Confluence Property for Petri Nets and its Applications. SYNASC (2006)
Ferucio Laurentiu Tiplea, Geanina Ionela Macovei
E-timed Workflow Nets. SYNASC (2006)
Ferucio Laurentiu Tiplea, Constantin Enea
Abstractions of data types. Acta Informatica 42 (8-9) (2006)
Ferucio Laurentiu Tiplea, Aurora Tiplea
Petri net reactive modules. Theor. Comput. Sci. 359 (1-3) (2006)
Ferucio Laurentiu Tiplea, Aurora Tiplea
Instantiating Nets and Their Applications to Workflow Nets. SYNASC (2005)
Ferucio Laurentiu Tiplea, Dan C. Marinescu
Structural soundness of workflow nets is decidable. Inf. Process. Lett. 96 (2) (2005)
Ferucio Laurentiu Tiplea, Geanina Ionela Macovei
Timed Workflow Nets. SYNASC (2005)
Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Bîrjoveanu
Decidability and Complexity Results for Security Protocols. VISSAS (2005)
Ferucio Laurentiu Tiplea, Erkki Mäkinen, Dragos Trinca, Costel Enea
Characterization Results for Time-Varying Codes. Fundam. Informaticae 53 (2) (2002)
Roxana Melinte, Olivia Oanea, Ioana Olga, Ferucio Laurentiu Tiplea
The home marking problem and some related concepts. Promise (2002)
Roxana Melinte, Olivia Oanea, Ioana Olga, Ferucio Laurentiu Tiplea
The Home Marking Problem and Some Related Concepts. Acta Cybern. 15 (3) (2002)
Ferucio Laurentiu Tiplea, Aurora Tiplea
A Simulation Preorder for Abstraction of Reactive Systems. VMCAI (2002)
Ferucio Laurentiu Tiplea, Erkki Mäkinen, Constantin Enea
SE-Systems, Timing Mechanisms, and Time-Varying Codes. Int. J. Comput. Math. 79 (10) (2002)
Ferucio Laurentiu Tiplea, Erkki Mäkinen
On the Complexity of a Problem on Monadic String Rewriting Systems. J. Autom. Lang. Comb. 7 (4) (2002)
Ferucio Laurentiu Tiplea, Erkki Mäkinen
A note on synchronized extension systems. Inf. Process. Lett. 79 (1) (2001)
Ferucio Laurentiu Tiplea, Erkki Mäkinen
On the Complexity of a Problem on Monadic String Rewriting Systems. DCFS (2001)
Ferucio Laurentiu Tiplea, Erkki Mäkinen, Corina Apachite
Synchronized extension systems. Acta Informatica 37 (6) (2001)
Ferucio Laurentiu Tiplea, Erkki Mäkinen
A Note on SE-Systems and Regular Canonical Systems. Fundam. Informaticae 46 (3) (2001)
Ferucio Laurentiu Tiplea, Cristina Badarau
A Note on Decidability of Reachability for Conditional Petri Nets. Acta Cybern. 14 (3) (2000)
Ferucio Laurentiu Tiplea, Jörg Desel
Petri Net Process Decomposition with Application to Validation. AWPN (1999)
Ferucio Laurentiu Tiplea, Aurora Tiplea
On Normalization of Petri Nets. Sci. Ann. Cuza Univ. 8 (1998)
Ferucio Laurentiu Tiplea, Masashi Katsura, Masami Ito
Processes and Vectorial Characterizations of Parallel Communicating Grammar Systems. J. Autom. Lang. Comb. 2 (1) (1997)
Ferucio Laurentiu Tiplea, Erkki Mäkinen
Jumping Petri Nets - Specific Properties. Developments in Language Theory (1997)
Ferucio Laurentiu Tiplea, Erkki Mäkinen
Jumping Petri Nets. Specific Properties. Fundam. Informaticae 32 (3-4) (1997)
Erkki Mäkinen, Ferucio Laurentiu Tiplea
Pattern Ambiguities for Pure Context-Free Grammars. Fundam. Informaticae 30 (2) (1997)
Ferucio Laurentiu Tiplea, Cristian Ene
Hierarchies of Petri Net Languages and a Super-Normal Form. J. Autom. Lang. Comb. 2 (3) (1997)
Ferucio Laurentiu Tiplea, Masashi Katsura, Masami Ito
On a Normal Form of Petri Nets. Acta Cybern. 12 (3) (1996)
Ferucio Laurentiu Tiplea, Cristian Ene
Hierarchies of Petri Net Languages and a Super-Normal Form. Developments in Language Theory (1995)
Codrut Matei, Ferucio Laurentiu Tiplea
(0, 1)-Total Pure Context-Free Grammars. Developments in Language Theory (1995)
Ferucio Laurentiu Tiplea, Cristian Ene, Cecilia Magdalena Ionescu, Octavian Procopiuc
Some Decision Problems for Parallel Communicating Grammar Systems. Theor. Comput. Sci. 134 (2) (1994)
Ferucio Laurentiu Tiplea, Cristian Ene
A Coverability Structure for Parallel Communicating Grammar Systems. J. Inf. Process. Cybern. 29 (5) (1993)
Toader Jucan, Cristian Masalagiu, Ferucio Laurentiu Tiplea
Relation Based Controlled Petri Nets. Sci. Ann. Cuza Univ. 2 (1993)
Ferucio Laurentiu Tiplea
Corrections to "Reversible and Strict Reversible P/T-Systems". Sci. Ann. Cuza Univ. 1 (1992)
Ferucio Laurentiu Tiplea, Toader Jucan, Cristian Masalagiu
Conditional Petri Net Languages. J. Inf. Process. Cybern. 27 (1) (1991)