Projecten
Gekozen filters:
Gekozen filters:
Certificatie van beveiligingseigenschappen van dieperliggende systemen KU Leuven
In dit onderzoeksproject wordt fundamenteel onderzoek verricht naar de bouwstenen die de veiligheid en de betrouwbaarheid van geïntegreerde systemen verhogen en die het genereren van bewijsmateriaal om de beveiligingseigenschappen van een apparaat aan te tonen ondersteunen en zo de certificatie van dergelijke eigenschappen bij derde partijen mogelijk maken. De rol van certificatie zal vanuit juridisch perspectief onderzocht worden, waarbij in ...
Crypto: evaluatie en certificatie voor cryptologie en informatiebeveiliging. KU Leuven
Het Crypto project heeft 3 doelstellingen: 1) Het opstellen van de minimale technische vereisten voor cryptografische algoritmen en implementaties hiervan voor de beveiliging van informatie naargelang het classificatieniveau. Deze vereisten moeten overeenstemmen met NAVO en EU normen. 2) De analyse van zwakheden en de ontwikkeling van tegenmaatregelen die in rekening moeten worden gebracht bij het ontwikkelen en evalueren van cryptografische ...
Formalisation and Soundness of Static Verification Algorithms for Imperative Programs (Formalisatie en correctheid van statische verificatiealgoritmes voor imperatieve programma's) KU Leuven
Niet alleen wordt onze software alsmaar omvangrijker en complexer, we hangen er eveneens steeds meer van af, wat het des te noodzakelijker maakt hulpmiddelen te ontwikkelen om ons bij te staan bij het schrijven van correcte programma's. Bijgevolg werd veel onderzoek gevoerd in het domein van statische verificatie, d.i. het uitwerken van algoritmes dewelke broncode analyseren en uitmaken of het bepaalde types fouten bevat. Dit kan variëren van ...
Cert-7: DASH7 certificatie en pre-compliance testen. Universiteit Antwerpen
Het DASH7 alliantie protocol is geëvolueerd uit het de ISO 18000-7 standaard voor actieve RFID m.b.v. 433 MHz, die initieel voor het Amerikaanse ministerie van defensie voor toepassingen zoals container inventarisatie is ontwikkeld. DASH7 focusseert vooral op draadloze machine-tot-machine communicatie toepassingen met een laag verbruik en een middellange afstand. Dit project heeft als doel om een certificatie lab met een bijbehorend ...
De rol van investeringsbanken bij fusies en overnames: deal sluiting, deal certificatie of waarde creatie? KU Leuven
Recent onderzoek in de laatste twee decennia besteed enige aandacht aande rol van adviseurs bij overnames en fusies. De conclusies over de waarde die dergelijke financiële adviseurs toevoegen zijn echter niet eenduidig. Volgens de #deal-completion# hypothese krijgen financiële adviseurs incentives om de deal rond te krijgen, ongeacht of dat deze deal waarde creëert voor hun klant of niet. Volgens de #superior deal# hypothese kunnen financiële ...
Innovatieve instrumentens in het beleid voor energiebesparing: witte certificaten en complementaire munten. KU Leuven
Onderzoeksgroep Duurzame Ontwikkeling, Afdeling ESAT - ELECTA, Elektrische Energie en Computerarchitecturen
Dit onderzoek exploreert drie instrumenten die kunnen bijdragen aan energiebesparing in de toekomst: witte certificaten, complementaire munten en slimme meters. Het is de bedoeling om het potentieel van de drie instrumenten te evalueren met het oog op de vereiste gedragsverandering. Het onderzoek focust op de verschillende duurzaamheidsaspecten van deze instrumenten: (1) technisch (uitgevoerd door KUL-ESAT), (2) economisch (uitgevoerd door ...
CRISP Vrije Universiteit Brussel
CRISP is gericht op het faciliteren van een geharmoniseerd speelveld voor de Europese beveiligingsindustrie door het ontwikkelen van een robuuste methodologie voor certificering van beveiligingsproducten.
Verificatie-engineering voor veiligheid en beveiliging van kritieke dynamische industriële toepassingen KU Leuven
The VESSEDIA project will bring safety and security to many new software applications and devices. In the fast evolving world we live in, the Internet has brought many benefits to individuals, organisations and industries. With the capabilities offered now (such as IPv6) to connect billions of devices and therefore humans together, the Internet brings new threats to the software developers and VESSEDIA will allow connected applications to be ...
Valorisation of the Tervuren Xylarium for rainforest ecology: investigation of wood collections to underpin REDD+ and other new mechanisms for tropical forest conservation. Plantentuin Meise / Agentschap Plantentuin Meise
Hans Beeckman
Royal Museum for Central Africa, Plantentuin Meise / Agentschap Plantentuin Meise
The Xylarium of the Royal Museum for Central Africa ranks among the most important wood collections in the world and is often solicited to study issues linked to forest dynamics and conservation. However the scientific value of this collection has to be increased to assure an efficient delivering of information that is precise and relevant to underpin up to date forest management.
Indeed, the tropical forests and the Congo Basin rainforests ...
Indeed, the tropical forests and the Congo Basin rainforests ...