• United States

Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Semantics Engineering & Materials Science
Specifications Engineering & Materials Science
Authentication Engineering & Materials Science
Network protocols Engineering & Materials Science
Encapsulation Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Cryptography Engineering & Materials Science
Access control Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1984 2019

Preface

Finkbeiner, B. & Kleinberg, S., Jan 3 2019, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 286

Stevens Institute of Technology

Research output: Contribution to journalEditorial

A family of FDH signature schemes based on the quadratic residuosity assumption

Ateniese, G., Fech, K. & Magri, B., Jan 1 2018, Progress in Cryptology – INDOCRYPT 2018 - 19th International Conference on Cryptology in India, Proceedings. Chakraborty, D. & Iwata, T. (eds.). Springer Verlag, p. 248-262 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11356 LNCS).

Stevens Institute of Technology

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citations

A fixpoint logic and dependent effects for temporal property verification

Nanjo, Y., Unno, H., Koskinen, E. & Terauchi, T., Jul 9 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Institute of Electrical and Electronics Engineers Inc., p. 759-768 10 p.

Stevens Institute of Technology

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fixpoint
Automation
Logic
Dependent
Reasoning