Sani, Ardalan Amiri
110  results:
Search for persons X
?
1

SyzDescribe: Principled, Automated, Static Generation of Sy..:

, In: 2023 IEEE Symposium on Security and Privacy (SP),
Hao, Yu ; Li, Guoren ; Zou, Xiaochen... - p. 3262-3278 , 2023
 
?
2

SchrodinText: Strong Protection of Sensitive Textual Conten..:

Wei, Nicholas ; Sani, Ardalan Amiri
IEEE Transactions on Mobile Computing.  21 (2022)  4 - p. 1402-1419 , 2022
 
?
3

Vronicle : verifiable provenance for videos from mobile ..:

, In: Proceedings of the 20th Annual International Conference on Mobile Systems, Applications and Services,
 
?
4

Demystifying the Dependency Challenge in Kernel Fuzzing:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE),
Hao, Yu ; Zhang, Hang ; Li, Guoren... - p. 659-671 , 2022
 
?
5

Sifter : protecting security-critical kernel modules in ..:

, In: Proceedings of the 28th Annual International Conference on Mobile Computing And Networking,
 
?
6

Vronicle : verifiable provenance for videos from mobile ..:

, In: Proceedings of the 20th Annual International Conference on Mobile Systems, Applications and Services,
 
?
7

Vronicle : verifiable provenance for videos from mobile ..:

, In: Proceedings of the 20th Annual International Conference on Mobile Systems, Applications and Services,
 
?
8

Demystifying the dependency challenge in kernel fuzzing:

, In: Proceedings of the 44th International Conference on Software Engineering,
Hao, Yu ; Zhang, Hang ; Li, Guoren... - p. 659-671 , 2022
 
?
9

User-defined cloud:

, In: Proceedings of the Workshop on Hot Topics in Operating Systems,
 
?
10

IoT Notary: Attestable Sensor Data Capture in IoT Environme..:

Panwar, Nisha ; Sharma, Shantanu ; Wang, Guoxi...
ACM Transactions on Internet of Things.  3 (2021)  1 - p. 1-30 , 2021
 
?
11

Systemizing Interprocedural Static Analysis of Large-scale ..:

Zuo, Zhiqiang ; Wang, Kai ; Hussain, Aftab...
ACM Transactions on Computer Systems (TOCS).  38 (2021)  1-2 - p. 1-39 , 2021
 
?
12

MegaMind : a platform for security & privacy extensions ..:

, In: Proceedings of the 19th Annual International Conference on Mobile Systems, Applications, and Services,
 
?
13

Tabellion : secure legal contracts on mobile devices:

, In: Proceedings of the 18th International Conference on Mobile Systems, Applications, and Services,
 
?
14

Dynamic Sharing in Multi-accelerators of Neural Networks on..:

, In: 2020 IEEE 31st International Conference on Application-specific Systems, Architectures and Processors (ASAP),
 
?
15

Mousse : a system for selective symbolic execution of pr..:

, In: Proceedings of the Fifteenth European Conference on Computer Systems,
 
1-15