Ferucio Laurentiu Tiplea
Ferucio Laurentiu Tiplea
Professor of Computer Science, "Alexandru Ioan Cuza" University of Iasi, Romania
Verified email at - Homepage
Cited by
Cited by
Model-checking ATL under imperfect information and perfect recall semantics is undecidable
C Dima, FL Tiplea
arXiv preprint arXiv:1102.4225, 2011
Decidability and complexity results for security protocols
FL Tiplea, C Enea, CV Bîrjoveanu
VISSAS 1, 185-211, 2005
Structural soundness of workflow nets is decidable
FL Ţiplea, DC Marinescu
Information Processing Letters 96 (2), 54-58, 2005
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
E-timed workflow nets
FL Tiplea, GI Macovei
2006 Eighth International Symposium on Symbolic and Numeric Algorithms for …, 2006
Timed workflow nets
GIM FL Tiplea
SYNASC 2005, 361-366, 2005
Distributive weighted threshold secret sharing schemes
CC Drăgan, FL Ţiplea
Information sciences 339, 85-97, 2016
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
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
On the asymptotic idealness of the Asmuth-Bloom threshold secret sharing scheme
CC Drăgan, FL Tiplea
Information Sciences 463, 75-85, 2018
Jumping petri nets
FL Tiplea, T Jucan
Foundations of Computing and Decision Sciences 19 (4), 319-332, 1994
Some decision problems for parallel communicating grammar systems
FL Tiplea, C Ene, CM Ionescu, O Procopiuc
Theoretical Computer Science 134 (2), 365-385, 1994
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
Soundness for - and -Timed Workflow Nets Is Undecidable
FL Tiplea, GI Macovei
IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2009
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
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
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
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
Characterization results for time-varying codes
F Ţiplea, E Mäkinen, D Trincă, C Enea
Fundamenta Informaticae 53 (2), 185-198, 2002
Destructive Privacy and Mutual Authentication in Vaudenay's RFID Model
C Hristea, FL Tiplea
Cryptology ePrint Archive, 2019
The system can't perform the operation now. Try again later.
Articles 1–20