Ferucio Laurentiu Tiplea

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