There is a server-side component (source currently not public) that converts SWF to an intermediate representation serialized as JSON. This representation is in turn converted into SVG in the web browser via JavaScript, which is also used for animations. The Swiffy thesis (2012) explains its general approach in the following way: