Follow
Ferucio Laurentiu Tiplea
Ferucio Laurentiu Tiplea
Professor of Computer Science, "Alexandru Ioan Cuza" University of Iasi, Romania
Verified email at uaic.ro - Homepage
Title
Cited by
Cited by
Year
Model-checking ATL under imperfect information and perfect recall semantics is undecidable
C Dima, FL Tiplea
arXiv preprint arXiv:1102.4225, 2011
1202011
Decidability and complexity results for security protocols
FL Tiplea, C Enea, CV Bîrjoveanu
VISSAS 1, 185-211, 2005
432005
Structural soundness of workflow nets is decidable
FL Ţiplea, DC Marinescu
Information Processing Letters 96 (2), 54-58, 2005
422005
Compact sequences of co-primes and their applications to the security of CRT-based threshold schemes
M Barzu, FL Ţiplea, CC Drăgan
Information Sciences 240, 161-172, 2013
252013
E-timed workflow nets
FL Tiplea, GI Macovei
2006 Eighth International Symposium on Symbolic and Numeric Algorithms for …, 2006
232006
Timed workflow nets
GIM FL Tiplea
SYNASC 2005, 361-366, 2005
23*2005
Distributive weighted threshold secret sharing schemes
CC Drăgan, FL Ţiplea
Information sciences 339, 85-97, 2016
222016
Key-policy attribute-based encryption for boolean circuits from bilinear maps
FL Ţiplea, CC Drăgan
Cryptography and Information Security in the Balkans: First International …, 2015
222015
Decidability results for soundness criteria of resource-constrained workflow nets
FL Tiplea, C Bocaneala
IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2012
212012
Jumping petri nets
FL Tiplea, T Jucan
Foundations of Computing and Decision Sciences 19 (4), 319-332, 1994
201994
On the asymptotic idealness of the Asmuth-Bloom threshold secret sharing scheme
CC Drăgan, FL Tiplea
Information Sciences 463, 75-85, 2018
192018
On the distribution of quadratic residues and non-residues modulo composite integers and applications to cryptography
FL Ţiplea, S Iftene, G Teşeleanu, AM Nica
Applied Mathematics and Computation 372, 124993, 2020
182020
Some decision problems for parallel communicating grammar systems
FL Tiplea, C Ene, CM Ionescu, O Procopiuc
Theoretical Computer Science 134 (2), 365-385, 1994
181994
Key-policy attribute-based encryption for general boolean circuits from secret sharing and multi-linear maps
CC Drăgan, FL Ţiplea
Cryptography and Information Security in the Balkans: Second International …, 2016
152016
On the complexity of deciding soundness of acyclic workflow nets
FL Ţiplea, C Bocăneală, R Chiroşcă
IEEE Transactions on Systems, Man, and Cybernetics: Systems 45 (9), 1292-1298, 2015
152015
Soundness for - and -Timed Workflow Nets Is Undecidable
FL Tiplea, GI Macovei
IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2009
152009
Destructive privacy and mutual authentication in Vaudenay’s RFID model
C Hristea, FL Ţiplea
International Workshop Soft Computing Applications, 648-676, 2020
142020
Secrecy for bounded security protocols with freshness check is NEXPTIME-complete
FL Ţiplea, CV Bîrjoveanu, C Enea, I Boureanu
Journal of Computer Security 16 (6), 689-712, 2008
142008
PUF protected variables: A solution to RFID security and privacy under corruption with temporary state disclosure
FL Ţiplea, C Hristea
IEEE Transactions on Information Forensics and Security 16, 999-1013, 2020
132020
SE-systems, timing mechanisms, and time-varying codes
FLŢ ŢIplea, E Ma¨ kinen, C Enea
International journal of computer mathematics 79 (10), 1083-1091, 2002
132002
The system can't perform the operation now. Try again later.
Articles 1–20