Virgil Gligor

Available identifiers

zbMath Open gligor.virgil-dMaRDI QIDQ414936

List of research outcomes

Publication	Date of Publication	Type
Formal methods and automated tool for timing-channel identification in tcb source code	2021-04-07	Paper
On k-Connectivity and Minimum Vertex Degree in Random s-Intersection Graphs	2019-09-17	Paper
On Connectivity and Robustness in Random Intersection Graphs	2017-07-27	Paper
$k$ -Connectivity in Random $K$ -Out Graphs Intersecting Erdős-Rényi Graphs	2017-07-27	Paper
<inline-formula> <tex-math notation="LaTeX">$k$ </tex-math></inline-formula>-Connectivity in Random Key Graphs With Unreliable Links	2017-04-28	Paper
Toward <inline-formula> <tex-math notation="LaTeX">$k$ </tex-math></inline-formula>-Connectivity of the Random Graph Induced by a Pairwise Key Predistribution Scheme With Unreliable Links	2017-04-28	Paper
Connectivity in Secure Wireless Sensor Networks under Transmission Constraints	2015-08-03	Paper
Random intersection graphs and their applications in security, wireless communication, and social networks	2015-02-11	Paper
Threshold Functions in Random s-Intersection Graphs	2015-02-02	Paper
k-Connectivity of Random Key Graphs	2015-02-02	Paper
A curious gap in one-dimensional geometric random graphs between connectivity and the absence of isolated node	2015-02-02	Paper
Monotone Increasing Properties and Their Phase Transitions in Uniform Random Intersection Graphs	2015-02-02	Paper
On the strengths of connectivity and robustness in general random intersection graphs	2014-09-21	Paper
Exact Analysis of k-Connectivity in Secure Sensor Networks with Unreliable Links	2014-09-21	Paper
On Topological Properties of Wireless Sensor Networks under the q-Composite Key Predistribution Scheme with On/Off Channels	2014-08-20	Paper
Two-server password-only authenticated key exchange	2012-05-11	Paper
Advances in Cryptology - CRYPTO 2003	2007-11-28	Paper
Two-Server Password-Only Authenticated Key Exchange	2007-09-24	Paper
Fast Encryption and Authentication: XCBC Encryption and XECB Authentication Modes	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4411566	2003-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q4411567	2003-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q4786012	2002-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q4786020	2002-12-12	Paper
The verification of the protection mechanisms of high-level language machines	1983-01-01	Paper
Finding Augmented-Set Bases	1982-01-01	Paper

Research outcomes over time

This page was built for person: Virgil Gligor