PhD Candidate Aikata and PhD student Florian attended #DATE2025 in Lyon, France, and presented their works!
📑 PASTA on Edge: Cryptoprocessor for Hybrid Homomorphic Encryption: ia.cr/2024/1919
📑 Exploring Large Integer Multiplication for Cryptography Targeting In-Memory Computing: ia.cr/2024/2093
#DATE2025 - Rune Krauss from @dfki.bsky.social presents on "FrEDDY: Modular and Efficient Framework to Engineer Decision Diagrams Yourself" agra.informatik.uni-bremen.de/doc/konf/DAT... #verification @unibremen.bsky.social
#DATE2025 - Sören Tempel presents on "Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics" agra.informatik.uni-bremen.de/doc/konf/DAT... #verification @unibremen.bsky.social @dfki.bsky.social
#DATE2025 - Mohamed Nadeem from @unibremen.bsky.social presents on "Polynomial Formal Verification of Sequential Circuits using Weighted-AIGs" agra.informatik.uni-bremen.de/doc/konf/DAT... #verification #FormalVerification #PolyVer #PolynomialFormalVerification @dfki.bsky.social
#DATE2025 - Spandan Das from @unibremen.bsky.social presents on "EMBOSOM | Emigrating Embedded Software Security into Modern Emerging Hardware Paradigms" at the Workshop on #NanoSecurity www.date-conference.com/workshop/w03 #security #riscv @riscv.org.web.brid.gy #DFG #EMBOSOM
#DATE2025 - Lennart Weingarten from @unibremen.bsky.social presents on "Late Breaking Results: Towards Efficient Formal Verification of Dot Product" agra.informatik.uni-bremen.de/doc/konf/DAT... #verification #FormalVerification #PolyVer
#DATE2025 - Sajjad Parvin from @unibremen.bsky.social presents at the #UniversityFair on "Securing Circuits Against Optical Probing Attack". date25.date-conference.com/programme#UF #NanoSecurity #security #OpticalProbing
#DATE2025 - Ruidi Qiu presents on "CorrectBench: Automatic Testbench Generation with Functional Self-Correction using LLMs for HDL Design"
date-conference.com/programme #LLM #verification
#DATE2025 - team from #Bremen at #DATEconf in #Lyon
@unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social
#DATE2025 - #keynote by Giovanni De Micheli (EPFL) on "A Vision Of Systems and Technolgy in a Connected Europe" date25.date-conference.com/programme#OK02
A white woman sits in a wicker chair on a porch. She has on all black and her face is covered by a large brimmed back and white striped hat. She had one hand in her lap and another touching the side of her face. Light dapples through and and you can see the shadows of trees in the background.
Mysterious
#blueskyartshow #BSAS #photochallenge #texas
#photoaday #alba
#thekemiperspective
#photographybrat #date2025 #iphone14 #photography #mobileonly #eastcoastkin #B&W #black&white #mara #monochrome
A tiny, white, baby boy with brown hair and hazel eyes sits in a white laundry basket holding a red balloon while looking slightly mesmerized. The blurred background are shades of pink, red, white and cream. There’s bokeh hearts around the perimeter.
Precious Laundry
(L is for Love)
#fmspad #february
#februaryphotochallenge #photochallenge #texas
#photoaday #fmspad2025
#thekemiperspective
#photographybrat #texas #date2025 #home #noah
#iphone14 #photography #mobileonly #letterL
#eastcoastkin #balloons
#valentines #basket #love
#red&white
A mirror image of rows and rows (on white shelves with yellow and blue lighting) of multi-colored candy. Some are peppermints in clear bags with black bows and others are lollipops. All have stickers that read Lindale Candy Company.
Utopia
(K for Kids or Kandy 😜)
#fmspad #february
#februaryphotochallenge #photochallenge #texas
#photoaday #fmspad2025
#thekemiperspective
#photographybrat #texas #date2025 #lindale
#iphone14 #photography #mobileonly #letterK
#eastcoastkin #candy
#colorful #lollipops
#peppermints #court&peej
A pregnant, white woman in a baby blue dress with a white lace shawl, holds onto a cream colored, vintage, lantern that’s glowing shades of white and blue. Behind her is a softly lit white Christmas tree with blue decorations, a muted green wall and an off-white covered chair with dark throw cushions. At midway, you can see a maroon chair railing and she has her free hand lying atop her belly. Everything has a dreamy cast to it.
Light Bearer
#photochallenge #texas
#photoaday #fmspad2025
#thekemiperspective
#photographybrat #BSAS #date2025 #alba #blue
#iphone14 #photography #mobileonly #eastcoastkin
#blueskyartshow #maternity #reflections
