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
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
<inline-formula> <tex-math notation="LaTeX">$k$ </tex-math></inline-formula>-Connectivity in Random Key Graphs 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Virgil Gligor