Publications

Hao Cui, Rahmadi Trimananda, Athina Markopoulou (2024). Understanding Privacy Norms through Web Forms. Under Submission.

Jad Al Aaraj, Tu Le, Olivia Figueira, Rahmadi Trimananda, Athina Markopoulou (2024). VBIT: Mixed Reality Visualization of Tracking by the Internet of Things. Under Submission.

Janus Varmarken, Rahmadi Trimananda, Athina Markopoulou (2023). SEQNATURE: Extracting Network Fingerprints from Packet Sequences. Under Submission.

Sashidhar Jakkamsetti, Athina Markopoulou, Renascence Tarafder Prapty, Rahmadi Trimananda, Gene Tsudik (2023). MADEA: A Malware Detection Architecture for IoT blending Network Monitoring and Device Attestation. Under Submission.

Olivia Figueira, Rahmadi Trimananda, Athina Markopoulou, Scott Jordan (2023). DiffAudit: Auditing Privacy Practices of Online Services for Children and Adolescents. Under Submission.

Umar Iqbal, Pouneh Nikkah Bahrami, Rahmadi Trimananda, Hao Cui, Alexander Gamero-Garrido, Daniel Dubois, David Choffnes, Athina Markopoulou, Franziska Roesner, Zubair Shafiq (2023). Tracking, Profiling, and Ad Targeting in the Alexa Echo Smart Speaker Ecosystem. In IMC 2023. Best Paper Award and Press Coverage Appeared at PrivacyCon 2022.

PDF Code Video

Ismat Jarin, Yu Duan, Rahmadi Trimananda, Hao Cui, Selma Elmalaki, Athina Markopoulou (2023). BehaVR: User Identification Based on VR Sensor Data. Arxiv Preprint.

PDF

Hao Cui, Rahmadi Trimananda, Athina Markopoulou, Scott Jordan (2023). PoliGraph: Automated Privacy Policy Analysis using Knowledge Graphs. In USENIX Security 2023.

PDF Code Dataset Slides Video

Hao Cui, Rahmadi Trimananda, Athina Markopoulou, Scott Jordan (2022). PoliGraph: Automated Privacy Policy Analysis using Knowledge Graphs. Arxiv Preprint.

PDF

Athina Markopoulou, Rahmadi Trimananda, Hao Cui (2022). A CI-based Auditing Framework for Data Collection Practices. PrivaCI 2022.

PDF

Rahmadi Trimananda, Hieu Le, Hao Cui, Janice Tran Ho, Anastasia Shuba, Athina Markopoulou (2022). OVRseen: Auditing Network Traffic and Privacy Policies in Oculus VR. In USENIX Security 2022. Appeared at PrivacyCon 2022.

PDF Code Dataset Slides Video

Janus Varmarken, Jad Al Aaraj, Rahmadi Trimananda, Athina Markopoulou (2022). FingerprinTV: Fingerprinting Smart TV Apps. In PoPETS 2022.

PDF Dataset

Umar Iqbal, Pouneh Nikkah Bahrami, Rahmadi Trimananda, Hao Cui, Alexander Gamero-Garrido, Daniel Dubois, David Choffnes, Athina Markopoulou, Franziska Roesner, Zubair Shafiq (2022). Your Echos are Heard: Tracking, Profiling, and Ad Targeting in the Amazon Smart Speaker Ecosystem. Arxiv Preprint.

PDF

Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu (2022). Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. In VMCAI 2022.

Code Dataset

Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu (2021). Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. Arxiv Preprint.

PDF

Rahmadi Trimananda, Hieu Le, Hao Cui, Janice Tran Ho, Anastasia Shuba, Athina Markopoulou (2021). OVRseen: Auditing Network Traffic and Privacy Policies in Oculus VR. Arxiv Preprint.

PDF

Rahmadi Trimananda (2020). Understanding and Guaranteeing Security, Privacy, and Safety of Smart Homes. Ph.D. Thesis.

PDF

Rahmadi Trimananda, Seyed Amir Hossein Aqajari, Jason Chuang, Brian Demsky, Guoqing Harry Xu, Shan Lu (2020). Understanding and Automatically Detecting Conflicting Interactions between Smart Home IoT Applications. In ESEC/FSE 2020.

PDF Code Dataset Slides Video

Rahmadi Trimananda, Ali Younis, Thomas Kwa, Brian Demsky, Guoqing Harry Xu (2020). Poster: Securing Smart Home Devices against Compromised Cloud Servers. In USENIX HotEdge'20.

PDF Poster

Rahmadi Trimananda, Ali Younis, Thomas Kwa, Brian Demsky, Guoqing Harry Xu (2020). Securing Smart Home Devices against Compromised Cloud Servers. Arxiv Preprint.

PDF

Rahmadi Trimananda, Janus Varmarken, Athina Markopoulou, Brian Demsky (2020). Packet-Level Signatures for Smart Home Devices. In NDSS 2020.

PDF Code Dataset Slides Video

Rahmadi Trimananda, Janus Varmarken, Athina Markopoulou, Brian Demsky (2019). PingPong: Packet-Level Signatures for Smart Home Devices. Arxiv Preprint.

PDF

Rahmadi Trimananda, Ali Younis, Bojun Wang, David Stoppa, Bin Xu, Brian Demsky, Guoqing Harry Xu (2018). Vigilia: Securing Smart Home Edge Computing. In SEC 2018.

PDF Code

Rahmadi Trimananda, Weifeng Voon, Tan Siang Yeong (2015). Integrated Power Management Validation: Toward 5X Velocity in Validation Roadmap. In Intel DTTC 2015.

Rahmadi Trimananda, Yeoh Chiah Kuang (2014). A Software Aided Algorithm Analysis. In iEECON 2014.

PDF

Rahmadi Trimananda (2013). Printing Service Automation-Printer Monitoring Through Inter-Processes Communication By Using Api Codes in Visual Basic.

Rahmadi Trimananda, Arnold Aribowo (2013). Communication Pattern of Parallel Computer, Case Study on The Implementation of Microcontrollers Parallel Computer Prototype.

Rahmadi Trimananda, Larry L. Connor (2013). PG Café RIT QA. In Intel Validation Summit 2013.

Rahmadi Trimananda, Arnold Aribowo (2012). Printer on Garment Printing. In ICSIIT 2012.

PDF

Marek Gersbach, Yuki Maruyama, Rahmadi Trimananda, Matt W. Fishburn, David Stoppa, Justin A. Richardson, Richard Walker, Robert Henderson, Edoardo Charbon (2012). A Time-Resolved, Low-Noise Single-Photon Image Sensor Fabricated in Deep-Submicron CMOS Technology. In IEEE Journal of Solid-State Circuits.

PDF

Marek Gersbach, Rahmadi Trimananda, Yuki Maruyama, Matt W. Fishburn, David Stoppa, Justin A. Richardson, Richard Walker, Robert Henderson, Edoardo Charbon (2010). High frame-rate TCSPC-FLIM using a novel SPAD-based image sensor. In SPIE NanoScience + Engineering.

PDF

Rahmadi Trimananda, Christoforus Yoga Harianto (2010). A Parallel Implementation of Hybridized Merge-Quicksort Algorithm on MPICH. In DfmA 2010.

PDF

Rahmadi Trimananda (2010). If-Statement Modification for Single Path Transformation: Case Study on Bubble Sort and Selection Sort Algorithm. In ICSIIT 2010.

PDF

Rahmadi Trimananda (2010). Chromosome Centromere and Chromatid’s Banding Identification Using Pattern Vector. In ICSIIT 2010.

PDF

Rahmadi Trimananda (2009). A Hierarchically Pipelined Data Acquisition System for Single-Photon Avalanche Diode Array. M.Sc. Thesis.

PDF

Rahmadi Trimananda, Aditya R. Mitra (2007). Parallel Processors Approach for Robotics Real-Time Problem: Case Study on Closed-Loop Control System of Toddler Robot. In ICSIIT 2007.

Arnold Aribowo, Rahmadi Trimananda (2006). Parallel Microcontrolers AT89C52: Parallel Processors In Embedded System Application Of Robotics. In SNSI 2006. Best Paper Award.

PDF

Rahmadi Trimananda (2006). Parallel Microcontrolers AT89C52: Parallel Processors In Embedded System Application Of Robotics. Undergraduate Thesis.

Rahmadi Trimananda (2005). Network Improvement with VLAN Technology at Advanced Computer Lab at UPH. Undergraduate Internship Report.