Concepedia

Author

Yannis Rouselakis

Also Known As

Yannis Rouselakis

11

Publications

1.1K

Citations

7

H-Index

10

Concepts

All Affiliations

YR

About

Yannis Rouselakis is an author at The University of Texas at Austin specializing in formal methods, formal verification, and data security.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

584

2

Computer Science

2

2

584

3

Data Privacy

2

2

584

4

Data Security

2

2

584

5

Information Security

2

2

584

Yannis Rouselakis

×

3

Publications

624

Citations

3

H-Index

YearCitations

Page 1