Alibaba Cloud’s DNS Formal Verification Paper Selected for ACM SOSP’23

October 27, 2023 – Recently, a collaborative research paper between Alibaba Cloud (Alibaba’s cloud computing subsidiary) and Peking University titled “Automated Verification of an In-Production DNS Authoritative Engine” has been accepted for presentation at the prestigious ACM Symposium on Operating Systems Principles (SOSP) 2023. This paper introduces a groundbreaking approach to formal verification technology, which…

Read More

Apple Secures Another Patent for Vision Pro Liquid Lens: Targeting Headset Vision Correction Woes

October 17, 2023 – Apple has been granted a second technology patent related to its Vision Pro headset’s liquid lenses, detailing different implementation methods. In August of this year, Apple secured a patent titled “Electronic Device with Liquid Lens,” which described a headset with adjustable liquid lenses. Each lens featured a lens chamber filled with…

Read More

Mercedes-Benz Upgrading EQE and EQS Electric Models to 800V High-Voltage Charging

**August 22, 2023 – Transforming Electric Mobility: Mercedes-Benz’s Cutting-Edge EVA2M Platform Upgrade** In an era where innovation continues to reshape the automotive landscape, Mercedes-Benz is taking a bold step forward with its visionary electric vehicle (EV) technology. Recent reports from German automotive media outlet JESMB unveil an ambitious plan by Mercedes-Benz to revolutionize their electric…

Read More

Enhancing Personal Galaxy Phone Security in Enterprise: Samsung and Microsoft Collaboration

July 28, 2023 – In a groundbreaking move, Microsoft and Samsung have joined forces to tackle the intricate challenges of the mobile era by significantly enhancing the security of personal Samsung Galaxy smartphones in professional settings. Through a deep and collaborative effort, Samsung has pledged to provide authentication support for its existing Galaxy devices, working…

Read More