KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis
Operating system (OS) kernels are critical components of modern computing systems, managing hardware resources and providing essential services to applications. However, due to their complexity, kernels are often vulnerable to various security issues like bugs, vulnerabilities, and malicious attacks. The kernel’s reliability and security are of utmost importance, as any breach could compromise the entire system.
AI-Powered Crowd Management System for Optimised Flow and Enhanced User Experience
Managing crowds and optimising the flow of people in capacity-constrained environments, such as theme parks, shopping malls, convention centers, and sports arenas, can be challenging. Crowds lead to congestion, long queues, and poor user experiences if not managed effectively. Traditional crowd control systems often lack the flexibility to respond to real-time changes, making it difficult for operators to optimise the use of space and resources.
Automate Training & Assessment with the Power of AI
With the advent of AI, skill gaps are widening globally and need for continuous re-skilling of human resources is one of the top priorities. In many corporations, employees need to be re-trained and re-assessed, often without access to curated content. Typically, they rely on raw resources or documentations dispersed across different data sources and formats to acquire the knowledge to perform a job effectively. This learning process is sluggish and slow and exasperates the employees if the content is being updated constantly, e.g., specifications for new products or machines, features and service support for new offerings or subscriptions and so on.
Occupancy Aware, Camera-Based Smart Lighting System
In workspaces and commercial buildings, lighting represents a significant portion of energy consumption after HVAC systems. However, current lighting solutions often lack efficiency and fail to adapt to occupancy levels and varying lighting needs. There is a need for an intelligent lighting system that can reduce energy consumption while maintaining occupant comfort by automatically adjusting lighting intensity based on occupancy and natural light levels.
Consensus in distributed ledger technology is often limited by the blockchain trilemma, which encompasses data size, consensus speed, and network security. In this context, we present a leaderless quantum consensus algorithm that utilizes quantum simulators and real quantum computers for a simplified consensus scenario.
Wi-Fi based Indoor Positioning System
Indoor location tracking is a valuable capability for various applications, but existing solutions often require costly infrastructure investments or have limited compatibility with specific devices. There is a need for an indoor location system that works seamlessly with existing Wi-Fi infrastructure, without requiring additional costs or device-specific limitations.