Formal characterization and automated analysis of known-pair and chosen-text attacks
Stubblebine, S.G., Meadows, C.A.
Published in IEEE journal on selected areas in communications (01.04.2000)
Published in IEEE journal on selected areas in communications (01.04.2000)
Get full text
Journal Article
Stack and queue integrity on hostile platforms
Devanbu, P.T., Stubblebine, S.G.
Published in IEEE transactions on software engineering (01.01.2002)
Published in IEEE transactions on software engineering (01.01.2002)
Get full text
Journal Article
Cryptographic verification of test coverage claims
Devanbu, P.T., Stubblebine, S.G.
Published in IEEE transactions on software engineering (01.02.2000)
Published in IEEE transactions on software engineering (01.02.2000)
Get full text
Journal Article
Techniques for trusted software engineering
Devanbu, P., Fong, P.W.-L., Stubblebine, S.G.
Published in Proceedings / International Conference on Software Engineering (1998)
Published in Proceedings / International Conference on Software Engineering (1998)
Get full text
Conference Proceeding
Journal Article
Recent-secure authentication: enforcing revocation in distributed systems
Get full text
Conference Proceeding
Toward acceptable metrics of authentication
Reiter, M.K., Stubblebine, S.G.
Published in Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097) (1997)
Published in Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097) (1997)
Get full text
Conference Proceeding
Stack and queue integrity on hostile platforms
Devanbu, P.T., Stubblebine, S.G.
Published in Proceedings. 1998 IEEE Symposium on Security and Privacy (Cat. No.98CB36186) (1998)
Published in Proceedings. 1998 IEEE Symposium on Security and Privacy (Cat. No.98CB36186) (1998)
Get full text
Conference Proceeding
Protocol design for integrity protection
Stubblebine, S.G., Gligor, V.D.
Published in Proceedings 1993 IEEE Computer Society Symposium on Research in Security and Privacy (1993)
Published in Proceedings 1993 IEEE Computer Society Symposium on Research in Security and Privacy (1993)
Get full text
Conference Proceeding
On message integrity in cryptographic protocols
Stubblebine, S.G., Gligor, V.D.
Published in Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy (01.01.1992)
Published in Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy (01.01.1992)
Get full text
Conference Proceeding
Journal Article