Back to Results
First PageMeta Content
Application programming interfaces / Communications protocol / Data transmission / Protocols / Monad / Distributed computing / Operating system / X Window System / Transmission Control Protocol / Computing / Software / Data


Poster: Contract Verification for Mobile Security Hannah Gommerstadt Frank Pfenning Limin Jia
Add to Reading List

Document Date: 2015-05-11 16:42:44

Open Document

File Size: 238,88 KB

Share Result on Facebook

City

London / Rome / /

Country

United Kingdom / Italy / /

/

Facility

Graduate Student Computer Science Department Carnegie Mellon University / Computer Engineering Department Carnegie Mellon University / Mobile Security Hannah Gommerstadt Frank Pfenning Limin Jia Computer Science Department Carnegie Mellon University / /

IndustryTerm

communication protocol / correct communication protocol / cryptographic protocols / cryptographic protocol / distributed type-directed monitoring infrastructure / adversarial distributed computing environment / distributed security protocol / session protocol / /

OperatingSystem

Android / /

Organization

Computer Engineering Department Carnegie Mellon University Pittsburgh / Graduate Student Computer Science Department Carnegie Mellon University Pittsburgh / Mobile Security Hannah Gommerstadt Frank Pfenning Limin Jia Computer Science Department Carnegie Mellon University Pittsburgh / /

Person

Frank Pfenning Limin Jia / Hannah Gommerstadt Frank Pfenning Limin / /

Position

editor / /

Technology

communication protocol / session protocol / mobile phones / distributed security protocol / correct communication protocol / Android / operating system / GPS / cryptographic protocol / /

SocialTag