We just released two systems: AoT github.com/Samsung/auto_o… and CAS github.com/Samsung/CAS With AoT you can automatically create off-target programs from parts of complex systems, while CAS provides detailed source code and build information. We hope you find them useful!

I'll be speaking at the incoming Linux Security Summit NA conference. I will talk about Code Aware Services (CAS) toolset that we created and recently published to open source. Check the schedule: events.linuxfoundation.org/linux-security… And hope to see you there!

I'm very happy to announce that our paper "Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems" has been accepted at ASE 2024 2022 :)

Our paper "Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems" by Tomasz Kuchta and myself has been accepted at ASE 2024 2022! I'll let you know when the preprint is ready.

My talk "Code Aware Services in the Service of Vulnerability Detection" from the Linux Security Summit NA 2022 (LSS (@[email protected])) is now available at the Linux Foundation YT channel: youtu.be/M7gl7MFU_Bc?t=… Enjoy and don't hesitate to contact me with any questions you might have.

A preprint of our upcoming ASE 2024 paper with Bartosz W. Zator titled "Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems" is now available at samsung.github.io/auto_off_targe… 1/4

A preprint of our upcoming ASE'2022 paper by Tomasz Kuchta and myself titled "Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems" is now available at lnkd.in/dK4MRv8u Enjoy and don't hesitate to contact me with any questions or feedback

Looking forward to presenting CAS and AoT at The 3rd kleesymex Workshop.

Our talk from recent 3rd International KLEE Workshop on Symbolic Execution in London delivered by Tomasz Kuchta regarding CAS & AoT tools is now available on Youtube: youtube.com/watch?v=Xzn_km… Enjoy the talk and feedback truly appreciated

Looking forward to presenting our paper on Wednesday this week at ASE 2024

Had a great time today presenting Auto Off-Target at University of Michigan. Many thanks to Baris Kasikci and the Efes team for having me!

I'm happy to announce that my talk "KFLAT - Selective Kernel Memory Serialization for Security and Debugging" has been accepted for the incoming Open Source Summit NA 2023: ossna2023.sched.com/event/1K5CH/kf… See you all there! #opensource #OSSummit The Linux Foundation

Our talk from recent Open Source Summit NA'23 in Vancouver regarding KFLAT, novel memory serialization tool for the Linux kernel variables is now available on Youtube: youtu.be/Ynunpuk-Vfo Enjoy the talk and feedback truly appreciated

I'm happy to announce that together with Adrian Nieć we will be speaking at the DPESummit'23 conference. In our talk we will show how the CAS tooling can be used to boost the productivity of S/W engineers working on low-level native part of the product: dpesummit.com/speakers2023/b…

#DPE is a concept used to maximize developer productivity and happiness. See the tools and DPE techniques that we developed and presented at DPE Summit to improve the work with the complex, low-level system parts of the mobile products. research.samsung.com/blog/Developer…

Take a look at our novel approach for enabling S/W testing of low-level parts of a larger system, i.e. the Auto Off-Target project.

Our talk from the recent DPE Summit'23 in San Francisco is now available to watch: dpesummit.com/sessions/barto… Enjoy and let me know in case of any feedback of questions.

KFLAT is a novel approach for performing memory dumps from a running Linux system preserving the underlying source code structure. It can improve the state initialization of the auto-generated test harnesses for the Linux kernel entry points: research.samsung.com/blog/KFLAT-Sel…

Take a look at this interview with Tomasz Kuchta one of our top experts in S/W reliability and low-level security for Mobile products where he discusses various techniques that we use to ensure safety and integrity of system software.