अनुसंधान
उत्पादों के पीछे का काम।
लोकल-फर्स्ट प्रणालियों पर एक दीर्घकालिक प्रयास: बीच में क्लाउड के बिना गणना, संचार और डेटा-सुरक्षा कैसे करें। चुनिंदा क्षेत्र सार्वजनिक हैं; संवेदनशील और लाइसेंस-प्राप्त कार्य नहीं।
स्वार्म इंटेलिजेंस और सत्यापन-योग्य प्रणालियाँ
सत्यापन-योग्य डेटा और औपचारिक प्रमाण पर बने स्वायत्त विशेषज्ञ समूह और विश्लेषणात्मक इंजन।
सुरक्षित डेटा संचार
डेटा को क्लाउड को सौंपे बिना स्थानांतरित और आदान-प्रदान करना — कभी-कभी लगभग बिना किसी तकनीक के।
एयर-गैप हार्डवेयर और क्रिप्टोग्राफ़ी
भौतिक और साइड-चैनल हमलों के विरुद्ध सुदृढ़ किए गए उपकरण, और वास्तविक-दुनिया के पैटर्न में निहित क्रिप्टोग्राफ़ी।
प्रकाशन और विस्तृत लेख यहाँ स्थानांतरित किए जा रहे हैं।