Serge Kosyrev Email & Phone Number

Taipei, Taipei City, Taiwan

Moscow, Russian Federation

• Leading development of a hypervisor-based secure endpoint prototype:⇒ Managing a diverse team of up to 13 members, mostly researchy-kind of people⇒ Leading the design and architecture effort
• security architecture, interdomain communication
• facilitation of consensus in a heavily democratically-slanted context
• too much conflict management⇒ Implementation all across the board: hypervisor, userspace and tooling⇒ Organised further infrastructure development: build system, testing automation & continuous integration
• three build systems, one culminating in an open source project (building a deliverable package including hypervisor, kernel drivers, OS services and userspace is a non-trivial task): https://github.com/deepfire/Ruin
• guiding deployment of https://nixos.org/nix/ and Docker as means for reproducible builds in a precisely specified environment⇒ Resource allocation and planning, hiring⇒ Talking to sales people⇒ Making presentations for.

Moscow, Russian Federation

• Spear-headed development of a hypervisor-based endpoint prototype for consumer x86-64-based hardware (think consumer-friendly https://www.qubes-os.org/):⇒ overall architecture⇒ build system & testing automation⇒.
• memory management
• interdomain communication⇒ code repository maintenance⇒ managing a growing team

Moscow, Russian Federation

• ⇒ Supported further deployment of the new system, through applying first-hand experience of developing a couple of forensics analysis modules within the new framework:
• a fast regex on steroids
• analysis of the Windows eventlog event streams and correlation heuristics for suspicious patterns⇒ Analysis of usage practices and shortcomings of in-house knowledge base development infrastructure.⇒ Early research on.

Moscow, Russian Federation

⇒ Produced a detailed (HyperSpec-style) reference specification for semantics of an in-house ad-hoc dataflow language (including relevant parts of its runtime system) used to capture domain-specific knowledge used by the flagship company product.⇒ In collaboration with in-house domain experts, captured the design requirements for a next generation of the.

Moscow, Russian Federation

• ⇒ Maintenance of a Linux kernel port to the in-house Elvees Multicore series of SoCs. Linux kernel driver development (NICs, custom protocol serial interlink, DSP access device).⇒ Development and maintainership of a.
• a library for declaratively-specified assemblers and disassemblers, and its mips32 instance: assem. Attempts of its extension to x86-64 ultimately failed.
• a library for declaratively-specified parsers: bintype
• a declaratively-specified ELF parser: cl-io-elf
• a MIPS binary analysis library and application used to employ flow-sensitive analysis to search application binaries for instruction traces with particular properties: turing in-house version of the tool included a.
• a library for declarative description of register format/sets as well as devices and their hierarchies. The library supported partial validation of device / register / field / value usage correctness at compile-time.

Bachelors, Business Administration And Management, General

Computer Engineering