default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFerucio Laurentiu Tiplea
Ferucio-Laurentiu Tiplea – Ferucio Laurenţiu Ţiplea
Person information
- unicode name: Ferucio Laurenţiu Ţiplea
- affiliation: Alexandru Ioan Cuza University, Iași, Romania
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c32]Ferucio Laurentiu Tiplea:
On Privacy of RFID-Based Authentication Protocols. SECRYPT 2024: 128-139- 2023
- [c31]Ferucio Laurentiu Tiplea, Cristian Hristea, Daniela Gifu:
Efficient RFID Scheme in Healthcare Systems. KES 2023: 3996-4005 - [i15]Ferucio Laurentiu Tiplea:
The Jacobi Symbol Problem for Quadratic Congruences and Applications to Cryptography. IACR Cryptol. ePrint Arch. 2023: 475 (2023) - 2022
- [j44]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): 335-359 (2022) - [j43]Ferucio Laurentiu Tiplea
:
Narrow privacy and desynchronization in Vaudenay's RFID model. Int. J. Inf. Sec. 21(3): 563-575 (2022) - [j42]Ferucio Laurentiu Tiplea:
Lessons to be Learned for a Good Design of Private RFID Schemes. IEEE Trans. Dependable Secur. Comput. 19(4): 2384-2395 (2022) - [c30]Ferucio Laurentiu Tiplea, Vlad-Florin Dragoi:
Generalized Inverse Based Decoding. ISIT 2022: 2791-2796 - [i14]Ferucio Laurentiu Tiplea, Vlad-Florin Dragoi:
Generalized Inverse Based Decoding. CoRR abs/2202.08640 (2022) - [i13]Ferucio Laurentiu Tiplea, Sorin Iftene, George Teseleanu, Anca-Maria Nica:
Security of Identity-based Encryption Schemes from Quadratic Residues. IACR Cryptol. ePrint Arch. 2022: 12 (2022) - 2021
- [j41]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): 282-296 (2021) - [j40]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: 999-1013 (2021) - [c29]Ferucio Laurentiu Tiplea, Cristian Hristea:
Practically Efficient RFID Scheme with Constant-time Identification. SECRYPT 2021: 495-506 - 2020
- [j39]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) - [j38]Cristian Hristea, Ferucio Laurentiu Tiplea:
Privacy of Stateful RFID Systems With Constant Tag Identifiers. IEEE Trans. Inf. Forensics Secur. 15: 1920-1934 (2020) - [c28]Ferucio Laurentiu Tiplea, Alexandru Ionita, Anca-Maria Nica:
Practically Efficient Attribute-Based Encryption for Compartmented and Multilevel Access Structures. ICETE (Selected Papers) 2020: 129-150 - [c27]Ferucio Laurentiu Tiplea, Alexandru Ionita, Anca-Maria Nica:
Practically Efficient Attribute-based Encryption for Compartmented Access Structures. ICETE (2) 2020: 201-212 - [c26]Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea:
A Hennessy-Milner Theorem for ATL with Imperfect Information. LICS 2020: 181-194 - [c25]Cristian Hristea, Ferucio Laurentiu Tiplea:
Destructive Privacy and Mutual Authentication in Vaudenay's RFID Model. SOFA 2020: 648-676 - [i12]Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea:
A Hennessy-Milner Theorem for ATL with Imperfect Information. CoRR abs/2006.15000 (2020)
2010 – 2019
- 2019
- [j37]Anca-Maria Nica, Ferucio Laurentiu Tiplea:
On Anonymization of Cocks' Identity-based Encryption Scheme. Comput. Sci. J. Moldova 27(3): 283-298 (2019) - [i11]Cristian Hristea, Ferucio Laurentiu Tiplea:
Destructive Privacy and Mutual Authentication in Vaudenay's RFID Model. IACR Cryptol. ePrint Arch. 2019: 73 (2019) - [i10]Ferucio Laurentiu Tiplea, Cristian Hristea:
Privacy and Reader-first Authentication in Vaudenay's RFID Model with Temporary State Disclosure. IACR Cryptol. ePrint Arch. 2019: 113 (2019) - [i9]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: 638 (2019) - [i8]Cristian Hristea, Ferucio Laurentiu Tiplea:
Privacy of Stateful RFID Systems with Constant Tag Identifiers. IACR Cryptol. ePrint Arch. 2019: 831 (2019) - 2018
- [j36]Constantin Catalin Dragan, Ferucio Laurentiu Tiplea:
On the asymptotic idealness of the Asmuth-Bloom threshold secret sharing scheme. Inf. Sci. 463-464: 75-85 (2018) - [c24]Ferucio Laurentiu Tiplea, Cosmin Vârlan:
Group Anonymity in Security Protocols. FedCSIS 2018: 407-416 - [c23]Cristian Hristea, Ferucio Laurentiu Tiplea:
A PUF-Based Destructive Private Mutual Authentication RFID Protocol. SecITC 2018: 331-343 - [i7]Ferucio Laurentiu Tiplea, Constantin Catalin Dragan:
Asymptotically Ideal CRT-based Secret Sharing Schemes for Multilevel and Compartmented Access Structures. IACR Cryptol. ePrint Arch. 2018: 933 (2018) - 2017
- [c22]Ferucio Laurentiu Tiplea, Constantin Catalin Dragan, Anca-Maria Nica:
Key-Policy Attribute-Based Encryption from Bilinear Maps. SECITC 2017: 28-42 - 2016
- [j35]Constantin Catalin Dragan, Ferucio Laurentiu Tiplea:
Distributive weighted threshold secret sharing schemes. Inf. Sci. 339: 85-97 (2016) - [j34]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): 303-312 (2016) - [c21]Ferucio Laurentiu Tiplea, Sorin Iftene, George Teseleanu, Anca-Maria Nica:
Security of Identity-Based Encryption Schemes from Quadratic Residues. SECITC 2016: 63-77 - [i6]Ferucio Laurentiu Tiplea, George Teseleanu, Sorin Iftene, Anca-Maria Nica:
Boneh-Gentry-Hamburg's Identity-based Encryption Schemes Revisited. IACR Cryptol. ePrint Arch. 2016: 516 (2016) - 2015
- [j33]Ferucio Laurentiu Tiplea, Raluca A. Diaconu:
Petri Net Computers and Workflow Nets. IEEE Trans. Syst. Man Cybern. Syst. 45(3): 496-507 (2015) - [j32]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): 1292-1298 (2015) - [c20]Constantin Catalin Dragan, Ferucio Laurentiu Tiplea:
Key-Policy Attribute-Based Encryption for General Boolean Circuits from Secret Sharing and Multi-linear Maps. BalkanCryptSec 2015: 112-133 - [c19]George-Daniel Nastase, Ferucio Laurentiu Tiplea:
On a Lightweight Authentication Protocol for RFID. SECITC 2015: 212-225 - [i5]Ferucio Laurentiu Tiplea, Emil Simion:
New Results on Identity-based Encryption from Quadratic Residuosity. IACR Cryptol. ePrint Arch. 2015: 900 (2015) - 2014
- [j31]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): 299-303 (2014) - [j30]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): 953-965 (2014) - [c18]Ferucio Laurentiu Tiplea, Constantin Catalin Dragan:
Key-Policy Attribute-Based Encryption for Boolean Circuits from Bilinear Maps. BalkanCryptSec 2014: 175-193 - [c17]Ferucio Laurentiu Tiplea:
A Lightweight Authentication Protocol for RFID. CSS 2014: 110-121 - [i4]Constantin Catalin Dragan, Ferucio Laurentiu Tiplea:
Efficient Key-policy Attribute-based Encryption for General Boolean Circuits from Multilinear Maps. IACR Cryptol. ePrint Arch. 2014: 462 (2014) - [i3]Ferucio Laurentiu Tiplea, Constantin Catalin Dragan:
Key-policy Attribute-based Encryption for Boolean Circuits from Bilinear Maps. IACR Cryptol. ePrint Arch. 2014: 608 (2014) - [i2]Constantin Catalin Dragan, Ferucio Laurentiu Tiplea:
On the Asymptotic Idealness of the Asmuth-Bloom Threshold Secret Sharing Scheme. IACR Cryptol. ePrint Arch. 2014: 955 (2014) - 2013
- [j29]Ferucio Laurentiu Tiplea, Loredana Vamanu, Cosmin Vârlan:
Reasoning about minimal anonymity in security protocols. Future Gener. Comput. Syst. 29(3): 828-842 (2013) - [j28]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: 161-172 (2013) - [j27]Ferucio Laurentiu Tiplea, Corina Bocaneala:
Priority Workflow Nets. IEEE Trans. Syst. Man Cybern. Syst. 43(2): 402-415 (2013) - 2012
- [j26]Ferucio Laurentiu Tiplea, Corina Bocaneala:
Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets. IEEE Trans. Syst. Man Cybern. Part A 42(1): 238-249 (2012) - 2011
- [i1]Catalin Dima, Ferucio Laurentiu Tiplea:
Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable. CoRR abs/1102.4225 (2011) - 2010
- [c16]Ferucio Laurentiu Tiplea, Loredana Vamanu, Cosmin Vârlan:
Complexity of Anonymity for Security Protocols. ESORICS 2010: 558-572
2000 – 2009
- 2009
- [j25]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): 924-932 (2009) - [c15]Felix G. Hamza-Lup, Ferucio Laurentiu Tiplea:
An Automaton-based Formalism for Cooperative Augmented Reality Systems. NCMA 2009: 135-150 - [c14]Liliana Cojocaru, Erkki Mäkinen, Ferucio Laurentiu Tiplea:
Classes of Szilard Languages in NC1. SYNASC 2009: 299-306 - 2008
- [j24]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): 689-712 (2008) - 2007
- [e2]Catalin Dima, Marius Minea, Ferucio Laurentiu Tiplea:
Proceedings of the First Workshop in Information and Computer Security, ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006. Electronic Notes in Theoretical Computer Science 186, Elsevier 2007 [contents] - 2006
- [j23]Ferucio Laurentiu Tiplea, Constantin Enea:
Abstractions of data types. Acta Informatica 42(8-9): 639-671 (2006) - [j22]Ferucio Laurentiu Tiplea, Aurora Tiplea:
Petri net reactive modules. Theor. Comput. Sci. 359(1-3): 77-100 (2006) - [c13]Ferucio Laurentiu Tiplea, Geanina Ionela Macovei:
E-timed Workflow Nets. SYNASC 2006: 423-429 - [c12]Ioana Leahu, Ferucio Laurentiu Tiplea:
The Confluence Property for Petri Nets and its Applications. SYNASC 2006: 430-436 - [c11]Catalin Dima, Marius Minea, Ferucio Laurentiu Tiplea:
Preface. ICS@SYNASC 2006: 1-2 - [e1]Edmund M. Clarke, Marius Minea, Ferucio Laurentiu Tiplea:
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. NATO Security through Science Series D: Information and Communication Security 1, IOS Press 2006, ISBN 1-58603-570-3 [contents] - 2005
- [j21]Ferucio Laurentiu Tiplea, Dan C. Marinescu:
Structural soundness of workflow nets is decidable. Inf. Process. Lett. 96(2): 54-58 (2005) - [c10]Ferucio Laurentiu Tiplea, Geanina Ionela Macovei:
Timed Workflow Nets. SYNASC 2005: 361-366 - [c9]Ferucio Laurentiu Tiplea, Aurora Tiplea:
Instantiating Nets and Their Applications to Workflow Nets. SYNASC 2005: 367-373 - [c8]Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Bîrjoveanu:
Decidability and Complexity Results for Security Protocols. VISSAS 2005: 185-211 - 2002
- [j20]Roxana Melinte, Olivia Oanea, Ioana Olga, Ferucio Laurentiu Tiplea:
The Home Marking Problem and Some Related Concepts. Acta Cybern. 15(3): 467-478 (2002) - [j19]Ferucio Laurentiu Tiplea, Erkki Mäkinen, Dragos Trinca, Costel Enea:
Characterization Results for Time-Varying Codes. Fundam. Informaticae 53(2): 185-198 (2002) - [j18]Ferucio Laurentiu Tiplea, Erkki Mäkinen, Constantin Enea:
SE-Systems, Timing Mechanisms, and Time-Varying Codes. Int. J. Comput. Math. 79(10): 1083-1091 (2002) - [j17]Ferucio Laurentiu Tiplea, Erkki Mäkinen:
On the Complexity of a Problem on Monadic String Rewriting Systems. J. Autom. Lang. Comb. 7(4): 599-609 (2002) - [c7]Roxana Melinte, Olivia Oanea, Ioana Olga, Ferucio Laurentiu Tiplea:
The home marking problem and some related concepts. Promise 2002: 104-115 - [c6]Ferucio Laurentiu Tiplea, Aurora Tiplea:
A Simulation Preorder for Abstraction of Reactive Systems. VMCAI 2002: 272-288 - 2001
- [j16]Ferucio Laurentiu Tiplea, Erkki Mäkinen, Corina Apachite:
Synchronized extension systems. Acta Informatica 37(6): 449-465 (2001) - [j15]Ferucio Laurentiu Tiplea, Erkki Mäkinen:
A Note on SE-Systems and Regular Canonical Systems. Fundam. Informaticae 46(3): 253-256 (2001) - [j14]Ferucio Laurentiu Tiplea, Erkki Mäkinen:
A note on synchronized extension systems. Inf. Process. Lett. 79(1): 7-9 (2001) - [c5]Ferucio Laurentiu Tiplea, Erkki Mäkinen:
On the Complexity of a Problem on Monadic String Rewriting Systems. DCFS 2001: 187-194 - 2000
- [j13]Ferucio Laurentiu Tiplea, Cristina Badarau:
A Note on Decidability of Reachability for Conditional Petri Nets. Acta Cybern. 14(3): 455-459 (2000)
1990 – 1999
- 1999
- [c4]Ferucio Laurentiu Tiplea, Jörg Desel:
Petri Net Process Decomposition with Application to Validation. AWPN 1999 - 1998
- [j12]Ferucio Laurentiu Tiplea, Aurora Tiplea:
On Normalization of Petri Nets. Sci. Ann. Cuza Univ. 8: 151-161 (1998) - 1997
- [j11]Erkki Mäkinen, Ferucio Laurentiu Tiplea:
Pattern Ambiguities for Pure Context-Free Grammars. Fundam. Informaticae 30(2): 183-191 (1997) - [j10]Ferucio Laurentiu Tiplea, Erkki Mäkinen:
Jumping Petri Nets. Specific Properties. Fundam. Informaticae 32(3-4): 373-392 (1997) - [j9]Ferucio Laurentiu Tiplea, Masashi Katsura, Masami Ito:
Processes and Vectorial Characterizations of Parallel Communicating Grammar Systems. J. Autom. Lang. Comb. 2(1): 47-73 (1997) - [j8]Ferucio Laurentiu Tiplea, Cristian Ene:
Hierarchies of Petri Net Languages and a Super-Normal Form. J. Autom. Lang. Comb. 2(3): 187-204 (1997) - [c3]Ferucio Laurentiu Tiplea, Erkki Mäkinen:
Jumping Petri Nets - Specific Properties. Developments in Language Theory 1997: 461-476 - 1996
- [j7]Ferucio Laurentiu Tiplea, Masashi Katsura, Masami Ito:
On a Normal Form of Petri Nets. Acta Cybern. 12(3): 295-308 (1996) - 1995
- [c2]Codrut Matei, Ferucio Laurentiu Tiplea:
(0, 1)-Total Pure Context-Free Grammars. Developments in Language Theory 1995: 148-153 - [c1]Ferucio Laurentiu Tiplea, Cristian Ene:
Hierarchies of Petri Net Languages and a Super-Normal Form. Developments in Language Theory 1995: 396-405 - 1994
- [j6]Ferucio Laurentiu Tiplea, Cristian Ene, Cecilia Magdalena Ionescu, Octavian Procopiuc:
Some Decision Problems for Parallel Communicating Grammar Systems. Theor. Comput. Sci. 134(2): 365-385 (1994) - [p1]Ferucio-Laurentiu Tiplea:
On Conditional Grammars and Conditional Petri Nets. Mathematical Aspects of Natural and Formal Languages 1994: 431-455 - 1993
- [j5]Toader Jucan, Cristian Masalagiu, Ferucio Laurentiu Tiplea:
Relation Based Controlled Petri Nets. Sci. Ann. Cuza Univ. 2: 27-36 (1993) - [j4]Ferucio Laurentiu Tiplea, Cristian Ene:
A Coverability Structure for Parallel Communicating Grammar Systems. J. Inf. Process. Cybern. 29(5): 303-315 (1993) - 1992
- [j3]Ferucio Laurentiu Tiplea:
Corrections to "Reversible and Strict Reversible P/T-Systems". Sci. Ann. Cuza Univ. 1: 77-80 (1992) - [j2]Ferucio-Laurentiu Tiplea:
Selective petri net languages. Int. J. Comput. Math. 43(1-2): 61-80 (1992) - 1991
- [j1]Ferucio Laurentiu Tiplea, Toader Jucan, Cristian Masalagiu:
Conditional Petri Net Languages. J. Inf. Process. Cybern. 27(1): 55-66 (1991)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
