Sfoglia per Autore Gadyatskaya, Olga
Dynamic Resiliency to User Assignment
2010-01-01 Massacci, Fabio; Gadyatskaya, Olga; Paci, Federica
Can we support applications' evolution in multi-application smart cards by security-by-contract?
2010-01-01 N., Dragoni; Gadyatskaya, Olga; Massacci, Fabio
Load Time Security Verification: The Claim Checker
2011-01-01 Gadyatskaya, Olga; Lostal, Eduardo; Massacci, Fabio
A Load Time Policy Checker for Open Multi-application Smart Cards
2011-01-01 N., Dragoni; E., Lostal; Gadyatskaya, Olga; Massacci, Fabio; F., Paci
Load Time Security Verification
2011-01-01 Gadyatskaya, Olga; E., Lostal; Massacci, Fabio
Load Time Code Validation for Mobile Phone Java Cards
2012-01-01 Nguyen, Quang-Huy; Chetali, Boutheina; Massacci, Fabio; Gadyatskaya, Olga
Java Card Architecture for Autonomous Yet Secure Evolution of Smart Cards Applications
2012-01-01 Gadyatskaya, Olga; Massacci, Fabio; Paci, Federica; S., Stankevich
High-level algorithms and data structures requirements for security-by-contract on Java cards
2012-01-01 N., Dragoni; Gadyatskaya, Olga; Massacci, Fabio; Philippov, Anton
Security-by-Contract for the OSGi platform
2012-01-01 Gadyatskaya, Olga; Massacci, Fabio; Philippov, Anton
Security of the OSGi platform
2012-01-01 Philippov, Anton; Gadyatskaya, Olga; Massacci, Fabio
MAP-REDUCE Runtime Enforcement of Information Flow Policies
2013-01-01 Ngo, Nguyen Nhat Minh; Massacci, Fabio; Gadyatskaya, Olga
TruStore: Implementing a Trusted Store for Android
2013-01-01 Zhauniarovich, Yury; Crispo, Bruno; Gadyatskaya, Olga
Controlling application interactions on the novel smart cards with security-by-contract
2013-01-01 Gadyatskaya, Olga; Massacci, Fabio
Load time code validation for mobile phone Java Cards
2013-01-01 Gadyatskaya, Olga; Massacci, Fabio; Q. H., Nguyen; B., Chetali
An empirical study of the technology transfer potential of EU security and trust R&D projects
2014-01-01 De Gramatica, Martina; Massacci, Fabio; Gadyatskaya, Olga
Security in the Firefox OS and Tizen mobile platforms
2014-01-01 Gadyatskaya, Olga; Massacci, Fabio; Zhauniarovich, Yury
StaDynA: Addressing the problem of dynamic code updates in the security analysis of android applications
2015-01-01 Zhauniarovich, Yury; Ahmad, Maqsood; Gadyatskaya, Olga; Crispo, Bruno; Massacci, Fabio
Fine-grained Code Coverage Measurement in Automated Black-box Android Testing
2020-01-01 Pilgun, A.; Gadyatskaya, O.; Zhauniarovich, Y.; Dashevskyi, S.; Kushniarou, A.; Mauw, S.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile