Sökning: "Sina Amini"

Hittade 2 uppsatser innehållade orden Sina Amini.

1. 1. Using Requirement-Driven Symbolic Execution to Test Implementations of the CoAP and EDHOC Network Protocols

   Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Datalogi

   Författare :Sabor Amini; [2023]
   Nyckelord :Requirement-driven; Symbolic execution; Network protocols; CoAP; EDHOC; Kravbaserad; Symbolisk Exekvering; Nätverksprotokoll;

   Sammanfattning : As the number of Internet of Things devices is increasing rapidly, it is of utmost significance that the implementations of protocols for constrained devices are bug-free. In general implementations of network protocols are error-prone due to their complex nature and ambiguities in the protocol specification. LÄS MER

3. 2. Sustainable development : integrating environmental protection with economic interests

   Uppsats för yrkesexamina på avancerad nivå, Stockholms universitet/Juridiska institutionen

   Författare :Sina Amini; [2016]
   Nyckelord :Europarätt;

   Sammanfattning : .... LÄS MER