Back to Results
First PageMeta Content
Cloud clients / Embedded Linux / Android / Computer security / Android software development / Mobile application development / Google Chrome / Bring your own device / Virtual machine / Software / Computing / Smartphones


Enabling BYOD through Secure Meta-Market ∗ Alessandro Armando
Add to Reading List

Document Date: 2014-08-26 05:34:09

Open Document

File Size: 785,66 KB

Share Result on Facebook

City

Automata / Oxford / /

Company

Skype / Google / Facebook / TripAdvisor / Microsoft / Object-Oriented Software / Intel / /

Country

United Kingdom / /

Currency

USD / /

/

Event

Product Issues / /

Facility

Google Play store / Apple Store / Campus University Via Isimbardi / University of Genoa Via all’Opera Pia / /

IndustryTerm

partial model checking tool / proposed meta-market solution / unsafe applications / optimized model extraction tool / market client applications / dedicated installer / meta-market software distribution workflow / anti-virus applications / meta-market server / finite transition systems / mobile operating systems / software package / harmless applications / software packages / transition systems / software signature / software development / downloaded applications / real-world applications / harmful applications / possible solution / Model-based verification systems / architectural solutions / meta-market software distribution model / individual applications / virtual machine-based systems / installed applications / inter-application communications / secure applications / database management / search space / resource-constrained mobile devices / /

MarketIndex

IPC / /

OperatingSystem

Android / Ubuntu / /

Organization

University of Genoa Via all’Opera Pia / US Government / SESSION Obj agency / /

Person

Nat / Luca Verderame / Bruno Kessler Via Sommarive / Alessandro Armando Gabriele Costa Alessio Merlo / /

Position

ConSpec policy interpreter / translator / policy interpreter / FB Messenger / interpreter / author / policy controller / tackle / abstract controller / untrusted producer / CFG extractor / /

Product

Angry Birds / Androguard11 / ipad / state causing Spin / /

ProgrammingLanguage

Java / Java bytecode / C / Promela / /

RadioStation

Radio Twitter SMS / /

Technology

virtual machine / RAM / SMS / relational database / Android / mobile device / operating systems / mobile devices / Java / smartphones / caching / digital signature / bluetooth / GUI / /

URL

http /

SocialTag